![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 4202 || Concurrent Semantics Without the Notions of State or State Transitions
Asarin, Eugene, Bouyer, PatriciaVolume:
10.1007/11
Year:
2006
Language:
english
DOI:
10.1007/11867340_2
File:
PDF, 407 KB
english, 2006