Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. Clarke, E. M., Emerson, E. A., & Sistla, A. In Symposium on Principles of Programming Languages, pages 117–126, 1983. ACM.
bibtex   
@inproceedings{clarke-emerson-sistla83,
	Author = {E. M. Clarke and E. A. Emerson and A.P. Sistla},
	Booktitle = {Symposium on Principles of Programming Languages},
	Organization = {ACM},
	Pages = {117--126},
	Title = {Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach},
	Year = 1983}

Downloads: 0