Reino Kurki-Suonio. A Practical Theory of Reactive Systems - Incremental Modeling of Dynamic Behaviors. Texts in Theoretical Computer Science. An EATCS Series, Springer, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.