Paper: An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic (at LICS 1986)
Authors: Michael C. BrowneAbstract
No Abstract Available
BibTeX
@InProceedings{Browne-AnImprovedAlgorithm, author = {Michael C. Browne}, title = {An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic}, booktitle = {Proceedings of the First Annual IEEE Symp. on Logic in Computer Science, {LICS} 1986}, year = 1986, editor = {Albert Meyer}, month = {June}, pages = {260--266}, location = {Cambridge, MA, USA}, publisher = {IEEE Computer Society Press} }