|
[Dil89]
D. Dill.
Timing assumptions and verification of finite-state concurrent systems.
In J. Sifakis (editor), Proc. Automatic Verification Methods for Finite State Systems, volume 407 of LNCS, pages 197--212, Springer.
1990.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|