On Stubborn Sets in the Verification of Linear Time Temporal Properties (1998)
- BOOKTITLE:
- Application and Theory of Petri Nets 1998: 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22--26, 1998, Proceedings
- SERIES:
- Lecture Notes in Computer Science
|