## Michael C. Browne

*An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic*

LICS, 1986.

@inproceedings{LICS-1986-Browne, author = "Michael C. Browne", booktitle = "{Proceedings of the First Symposium on Logic in Computer Science}", isbn = "0-8186-0720-3", pages = "260--266", publisher = "{IEEE Computer Society}", title = "{An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic}", year = 1986, }