Simple onthe-fly automatic verification of linear temporal logic (1995)

by Rob Gerth, Doron Peled, Moshe Y Vardi, Pierre Wolper
Venue:In Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification