A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
| Main Author: | |
|---|---|
| Format: | Electronic Kit Book |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2005
|
| Series: | Texts in Theoretical Computer Science An EATCS Series
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/b138956 |
Search Result 1
