An improved algorithm for the automatic verification of finite state systems using temporal logic (1986)

by Michael C Browne
Venue:In Proceedings of the Symposium on Logic in Computer Science