![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Embedded Software Volume 2491 || Synchronous Modelling of Asynchronous Systems
Sangiovanni-Vincentelli, Alberto, Sifakis, JosephVolume:
10.1007/3-
Year:
2002
Language:
english
DOI:
10.1007/3-540-45828-X_18
File:
PDF, 163 KB
english, 2002