@inBook{
 title = {Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings},
 type = {inBook},
 year = {2012},
 identifiers = {[object Object]},
 pages = {92-106},
 publisher = {Springer Berlin Heidelberg},
 city = {Berlin, Heidelberg},
 chapter = {On Tempora},
 editors = {[object Object],[object Object]},
 id = {473afb3f-3aae-3813-9dc0-c26cff98adc7},
 created = {2017-04-26T09:06:19.120Z},
 file_attached = {false},
 profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
 group_id = {337127a6-4a46-3af3-a559-f76746200fef},
 last_modified = {2017-04-26T09:06:19.120Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {Donze2012},
 source_type = {inbook},
 bibtype = {inBook},
 author = {Donzé, Alexandre and Maler, Oded and Bartocci, Ezio and Nickovic, Dejan and Grosu, Radu and Smolka, Scott}
}

{"_id":"4jLRNuxtzukA7QH9B","bibbaseid":"donz-maler-bartocci-nickovic-grosu-smolka-automatedtechnologyforverificationandanalysis10thinternationalsymposiumatva2012thiruvananthapuramindiaoctober362012proceedings-2012","downloads":0,"creationDate":"2017-04-26T09:07:48.233Z","title":"Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings","author_short":["Donzé, A.","Maler, O.","Bartocci, E.","Nickovic, D.","Grosu, R.","Smolka, S."],"year":2012,"bibtype":"inBook","biburl":null,"bibdata":{"title":"Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings","type":"inBook","year":"2012","identifiers":"[object Object]","pages":"92-106","publisher":"Springer Berlin Heidelberg","city":"Berlin, Heidelberg","chapter":"On Tempora","editors":"[object Object],[object Object]","id":"473afb3f-3aae-3813-9dc0-c26cff98adc7","created":"2017-04-26T09:06:19.120Z","file_attached":false,"profile_id":"93e9c71a-776d-397a-8da2-55f5d4b0425c","group_id":"337127a6-4a46-3af3-a559-f76746200fef","last_modified":"2017-04-26T09:06:19.120Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"Donze2012","source_type":"inbook","bibtype":"inBook","author":"Donzé, Alexandre and Maler, Oded and Bartocci, Ezio and Nickovic, Dejan and Grosu, Radu and Smolka, Scott","bibtex":"@inBook{\n title = {Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings},\n type = {inBook},\n year = {2012},\n identifiers = {[object Object]},\n pages = {92-106},\n publisher = {Springer Berlin Heidelberg},\n city = {Berlin, Heidelberg},\n chapter = {On Tempora},\n editors = {[object Object],[object Object]},\n id = {473afb3f-3aae-3813-9dc0-c26cff98adc7},\n created = {2017-04-26T09:06:19.120Z},\n file_attached = {false},\n profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},\n group_id = {337127a6-4a46-3af3-a559-f76746200fef},\n last_modified = {2017-04-26T09:06:19.120Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {Donze2012},\n source_type = {inbook},\n bibtype = {inBook},\n author = {Donzé, Alexandre and Maler, Oded and Bartocci, Ezio and Nickovic, Dejan and Grosu, Radu and Smolka, Scott}\n}","author_short":["Donzé, A.","Maler, O.","Bartocci, E.","Nickovic, D.","Grosu, R.","Smolka, S."],"bibbaseid":"donz-maler-bartocci-nickovic-grosu-smolka-automatedtechnologyforverificationandanalysis10thinternationalsymposiumatva2012thiruvananthapuramindiaoctober362012proceedings-2012","role":"author","urls":{},"downloads":0},"search_terms":["automated","technology","verification","analysis","10th","international","symposium","atva","2012","thiruvananthapuram","india","october","2012","proceedings","donzé","maler","bartocci","nickovic","grosu","smolka"],"keywords":[],"authorIDs":[]}