A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors / [electronic resource] :
by Reino Kurki-Suonio.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
- xxi, 418 p. : ill., digital ; 25 cm.
- Texts in Theoretical Computer Science An EATCS Series .