Temporal Verification by Diagram Transformations (1996)
Cached
Download Links
- [www-cad.eecs.berkeley.edu]
- [theory.stanford.edu]
- DBLP
Other Repositories/Bibliography
by
Luca De Alfaro
,
Zohar Manna
Venue: | In Proc. 8 th Intl. Conference on Computer Aided Verification, volume 1102 of LNCS |
Citations: | 9 - 7 self |