Reactive Systems

Modelling, Specification and Verification

by

  • Publisher: Cambridge University Press
  • Print ISBN: 9780521875462, 0521875463

  • eText ISBN: 9780511332142, 0511332149

  • Edition: 1st