Simple On-the- Automatic Veri of Linear Temporal Logic (1995)

by Rob Gerth, Doron Peled, Moshe Vardi, Pierre Wolper
Venue:In Proceedings of the 15th Workshop on Protocol Speci Testing, and Veri North-Holland