@inproceedings{ DBLP:conf/eurocast/ArthoZBSH07,
  author    = {Cyrille Artho and Boris Zweimüller and Armin Biere and Etsuya Shibayama and Shinichi Honiden},
  title     = {Efficient Model Checking of Applications with Input/Output},
  booktitle   = {Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers},
  pages   = {515-522},
  ee   = {http://dx.doi.org/10.1007/978-3-540-75867-9_65} ,
  year   = {2007}
}

{"_id":{"_str":"53429f7f0e946d920a002296"},"__v":12,"authorIDs":["5458f748b43425b77200029b","54593b80b43425b7720003cb"],"author_short":["Artho, C.","Zweimüller, B.","Biere, A.","Shibayama, E.","Honiden, S."],"bibbaseid":"artho-zweimller-biere-shibayama-honiden-efficientmodelcheckingofapplicationswithinputoutput-2007","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Cyrille"],"propositions":[],"lastnames":["Artho"],"suffixes":[]},{"firstnames":["Boris"],"propositions":[],"lastnames":["Zweimüller"],"suffixes":[]},{"firstnames":["Armin"],"propositions":[],"lastnames":["Biere"],"suffixes":[]},{"firstnames":["Etsuya"],"propositions":[],"lastnames":["Shibayama"],"suffixes":[]},{"firstnames":["Shinichi"],"propositions":[],"lastnames":["Honiden"],"suffixes":[]}],"title":"Efficient Model Checking of Applications with Input/Output","booktitle":"Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers","pages":"515-522","ee":"http://dx.doi.org/10.1007/978-3-540-75867-9_65","year":"2007","bibtex":"@inproceedings{ DBLP:conf/eurocast/ArthoZBSH07,\n author = {Cyrille Artho and Boris Zweimüller and Armin Biere and Etsuya Shibayama and Shinichi Honiden},\n title = {Efficient Model Checking of Applications with Input/Output},\n booktitle = {Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers},\n pages = {515-522},\n ee = {http://dx.doi.org/10.1007/978-3-540-75867-9_65} ,\n year = {2007}\n}\n\n\n","author_short":["Artho, C.","Zweimüller, B.","Biere, A.","Shibayama, E.","Honiden, S."],"key":"DBLP:conf/eurocast/ArthoZBSH07","id":"DBLP:conf/eurocast/ArthoZBSH07","bibbaseid":"artho-zweimller-biere-shibayama-honiden-efficientmodelcheckingofapplicationswithinputoutput-2007","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-540-75867-9_65"},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/boris-zweimuller/?format=bibtex","downloads":0,"keywords":[],"search_terms":["efficient","model","checking","applications","input","output","artho","zweimüller","biere","shibayama","honiden"],"title":"Efficient Model Checking of Applications with Input/Output","year":2007,"dataSources":["4DPrRqQtD3g6ZT7H3"]}