DMCA
Synthesizing Monitors for Safety Properties (2002)
Cached
Download Links
- [ase.arc.nasa.gov]
- [ase.arc.nasa.gov]
- [ase.arc.nasa.gov]
- DBLP
Other Repositories/Bibliography
by
Klaus Havelund
,
Grigore Rosu
Venue: | In Tools and Algorithms for Construction and Analysis of Systems (TACAS’02 |
Citations: | 158 - 17 self |