Modeling and Verification of Real-time Systems
by
ISBN 13: 9781848210134
Format: Hardcover (448 pages) Publisher: Wiley-Blackwell Published: 10 Mar 2008
Save for later
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642162640
Format: Paperback (347 pages) Publisher: Springer Published: 06 Oct 2010
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
by Fred Kröger,Stephan Merz
ISBN 13: 9783540674016
Format: Hardcover (448 pages) Publisher: Springer Published: 27 Mar 2008