Michael C. Browne. An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic. In Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA. pages 260-266, IEEE Computer Society, 1986.
Abstract is missing.