A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)
Publisher: Springer
Published: Mar 30, 2006
Number of pages: 420
ISBN-13: 9783540273486