Reactive systems : modelling, specification and verification /

Bibliographic Details
Other Authors:	Aceto, Luca
Format:	Book
Language:	English
Published:	Cambridge : Cambridge University Press, 2007.
Subjects:	Expert systems (Computer science) > Validation. Expert systems (Computer science) > Verification. System design > Mathematical models.

Evans: Library Stacks