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