A practical theory of reactive systems : incremental modeling of dynamic behaviors /
57
| Main Author: | |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Berlin : Springer,
2005
|
| Subjects: |
57
| Main Author: | |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Berlin : Springer,
2005
|
| Subjects: |