Temporal Logic and State Systems
Publisher: Springer
Published: Nov 25, 2010
Format: paperback
Number of pages: 448
ISBN-13: 9783642086809
Notes: Source title: Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)