@inproceedings{ dblp4157033,
  title = {High Level Verification of Control Intensive Systems Using Predicate Abstraction},
  author = {Edmund M. Clarke and Orna Grumberg and Muralidhar Talupur and Dong Wang},
  author_short = {Clarke, E. M. and Grumberg, O. and Talupur, M. and Wang, D.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2003},
  key = {dblp4157033},
  id = {dblp4157033},
  biburl = {http://www.dblp.org/rec/bibtex/conf/memocode/ClarkeGTW03},
  url = {http://dx.doi.org/10.1109/MEMCOD.2003.1210089},
  conference = {MEMOCODE},
  pages = {55-64},
  text = {MEMOCODE 2003:55-64},
  booktitle = {Proceedings of International Conference on Formal Methods and Models for Co-Design (MEMOCODE)}
}

{"_id":"ayckraQrgQ79ZegWL","bibbaseid":"clarke-grumberg-talupur-wang-highlevelverificationofcontrolintensivesystemsusingpredicateabstraction-2003","downloads":0,"creationDate":"2016-03-01T18:51:30.181Z","title":"High Level Verification of Control Intensive Systems Using Predicate Abstraction","author_short":["Clarke, E. M.","Grumberg, O.","Talupur, M.","Wang, D."],"year":2003,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/memocode/ClarkeGTW03","bibdata":{"title":"High Level Verification of Control Intensive Systems Using Predicate Abstraction","author":["Edmund M. Clarke","Orna Grumberg","Muralidhar Talupur","Dong Wang"],"author_short":["Clarke, E. M.","Grumberg, O.","Talupur, M.","Wang, D."],"bibtype":"inproceedings","type":"inproceedings","year":"2003","key":"dblp4157033","id":"dblp4157033","biburl":"http://www.dblp.org/rec/bibtex/conf/memocode/ClarkeGTW03","url":"http://dx.doi.org/10.1109/MEMCOD.2003.1210089","conference":"MEMOCODE","pages":"55-64","text":"MEMOCODE 2003:55-64","booktitle":"Proceedings of International Conference on Formal Methods and Models for Co-Design (MEMOCODE)","bibtex":"@inproceedings{ dblp4157033,\n title = {High Level Verification of Control Intensive Systems Using Predicate Abstraction},\n author = {Edmund M. Clarke and Orna Grumberg and Muralidhar Talupur and Dong Wang},\n author_short = {Clarke, E. M. and Grumberg, O. and Talupur, M. and Wang, D.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2003},\n key = {dblp4157033},\n id = {dblp4157033},\n biburl = {http://www.dblp.org/rec/bibtex/conf/memocode/ClarkeGTW03},\n url = {http://dx.doi.org/10.1109/MEMCOD.2003.1210089},\n conference = {MEMOCODE},\n pages = {55-64},\n text = {MEMOCODE 2003:55-64},\n booktitle = {Proceedings of International Conference on Formal Methods and Models for Co-Design (MEMOCODE)}\n}","bibbaseid":"clarke-grumberg-talupur-wang-highlevelverificationofcontrolintensivesystemsusingpredicateabstraction-2003","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/MEMCOD.2003.1210089"},"downloads":0},"search_terms":["high","level","verification","control","intensive","systems","using","predicate","abstraction","clarke","grumberg","talupur","wang"],"keywords":[],"authorIDs":["54fcc51800265f6e3c000e46"],"dataSources":["y6u7MjPQDXPG5oLkr"]}