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
{"_id":{"_str":"534279610e946d920a0013b0"},"__v":2,"authorIDs":[],"author_short":["Clarke, E. M.","Emerson, E. A.","Sistla, A."],"bibbaseid":"clarke-emerson-sistla-automaticverificationoffinitestateconcurrentsystemsusingtemporallogicspecificationsapracticalapproach-1983","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["E.","M."],"propositions":[],"lastnames":["Clarke"],"suffixes":[]},{"firstnames":["E.","A."],"propositions":[],"lastnames":["Emerson"],"suffixes":[]},{"firstnames":["A.P."],"propositions":[],"lastnames":["Sistla"],"suffixes":[]}],"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","bibtex":"@inproceedings{clarke-emerson-sistla83,\n\tAuthor = {E. M. Clarke and E. A. Emerson and A.P. Sistla},\n\tBooktitle = {Symposium on Principles of Programming Languages},\n\tOrganization = {ACM},\n\tPages = {117--126},\n\tTitle = {Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach},\n\tYear = 1983}\n\n","author_short":["Clarke, E. M.","Emerson, E. A.","Sistla, A."],"key":"clarke-emerson-sistla83","id":"clarke-emerson-sistla83","bibbaseid":"clarke-emerson-sistla-automaticverificationoffinitestateconcurrentsystemsusingtemporallogicspecificationsapracticalapproach-1983","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/cogs/bib/standard-long.bib","downloads":0,"keywords":[],"search_terms":["automatic","verification","finite","state","concurrent","systems","using","temporal","logic","specifications","practical","approach","clarke","emerson","sistla"],"title":"Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach","year":1983,"dataSources":["2cjnbEWxd35GBeqEe"]}