@inproceedings{ dblp3457643,
  title = {Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages},
  author = {Azadeh Farzan and Yu-Fang Chen and Edmund M. Clarke and Yih-Kuen Tsay and Bow-Yaw Wang},
  author_short = {Farzan, A. and Chen, Y. and Clarke, E. M. and Tsay, Y. and Wang, B.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2008},
  key = {dblp3457643},
  id = {dblp3457643},
  biburl = {http://www.dblp.org/rec/bibtex/conf/tacas/FarzanCCTW08},
  url = {http://dx.doi.org/10.1007/978-3-540-78800-3_2},
  conference = {TACAS},
  pages = {2-17},
  text = {TACAS 2008:2-17},
  booktitle = {Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)}
}

{"_id":"itQqPg3FigGFEDoF7","bibbaseid":"farzan-chen-clarke-tsay-wang-extendingautomatedcompositionalverificationtothefullclassofomegaregularlanguages-2008","downloads":0,"creationDate":"2016-02-18T16:00:36.112Z","title":"Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages","author_short":["Farzan, A.","Chen, Y.","Clarke, E. M.","Tsay, Y.","Wang, B."],"year":2008,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/tacas/FarzanCCTW08","bibdata":{"title":"Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages","author":["Azadeh Farzan","Yu-Fang Chen","Edmund M. Clarke","Yih-Kuen Tsay","Bow-Yaw Wang"],"author_short":["Farzan, A.","Chen, Y.","Clarke, E. M.","Tsay, Y.","Wang, B."],"bibtype":"inproceedings","type":"inproceedings","year":"2008","key":"dblp3457643","id":"dblp3457643","biburl":"http://www.dblp.org/rec/bibtex/conf/tacas/FarzanCCTW08","url":"http://dx.doi.org/10.1007/978-3-540-78800-3_2","conference":"TACAS","pages":"2-17","text":"TACAS 2008:2-17","booktitle":"Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)","bibtex":"@inproceedings{ dblp3457643,\n title = {Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages},\n author = {Azadeh Farzan and Yu-Fang Chen and Edmund M. Clarke and Yih-Kuen Tsay and Bow-Yaw Wang},\n author_short = {Farzan, A. and Chen, Y. and Clarke, E. M. and Tsay, Y. and Wang, B.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2008},\n key = {dblp3457643},\n id = {dblp3457643},\n biburl = {http://www.dblp.org/rec/bibtex/conf/tacas/FarzanCCTW08},\n url = {http://dx.doi.org/10.1007/978-3-540-78800-3_2},\n conference = {TACAS},\n pages = {2-17},\n text = {TACAS 2008:2-17},\n booktitle = {Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)}\n}","bibbaseid":"farzan-chen-clarke-tsay-wang-extendingautomatedcompositionalverificationtothefullclassofomegaregularlanguages-2008","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-78800-3_2"},"downloads":0,"html":""},"search_terms":["extending","automated","compositional","verification","full","class","omega","regular","languages","farzan","chen","clarke","tsay","wang"],"keywords":[],"authorIDs":["5457e2a12abc8e9f3700086f"],"dataSources":["nmhhggxN3ptzXACsA"]}