DMCA
Symbolic Model Checking for Real-time Systems (1992)
Cached
Download Links
- [www-cad.eecs.berkeley.edu]
- [www-cad.eecs.berkeley.edu]
- CiteULike
- DBLP
Other Repositories/Bibliography
by
Thomas A. Henzinger
,
Xavier Nicollin
,
Joseph Sifakis
,
Sergio Yovine
Venue: | INFORMATION AND COMPUTATION |
Citations: | 577 - 49 self |