@inproceedings{ dblp4176151,
  title = {Data-Structures for the Verification of Timed Automata},
  author = {Eugene Asarin and Marius Bozga and Alain Kerbrat and Oded Maler and Amir Pnueli and Anne Rasse},
  author_short = {Asarin, E. and Bozga, M. and Kerbrat, A. and Maler, O. and Pnueli, A. and Rasse, A.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1997},
  key = {dblp4176151},
  id = {dblp4176151},
  biburl = {http://www.dblp.org/rec/bibtex/conf/hybrid/AsarinBKMPR97},
  url = {http://dx.doi.org/10.1007/BFb0014737},
  conference = {HART},
  pages = {346-360},
  text = {HART 1997:346-360},
  booktitle = {Proceedings of HART}
}

{"_id":"MQzeFHDjP3FnGTCnZ","bibbaseid":"asarin-bozga-kerbrat-maler-pnueli-rasse-datastructuresfortheverificationoftimedautomata-1997","downloads":0,"creationDate":"2015-07-05T11:05:40.284Z","title":"Data-Structures for the Verification of Timed Automata","author_short":["Asarin, E.","Bozga, M.","Kerbrat, A.","Maler, O.","Pnueli, A.","Rasse, A."],"year":1997,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/hybrid/AsarinBKMPR97","bibdata":{"title":"Data-Structures for the Verification of Timed Automata","author":["Eugene Asarin","Marius Bozga","Alain Kerbrat","Oded Maler","Amir Pnueli","Anne Rasse"],"author_short":["Asarin, E.","Bozga, M.","Kerbrat, A.","Maler, O.","Pnueli, A.","Rasse, A."],"bibtype":"inproceedings","type":"inproceedings","year":"1997","key":"dblp4176151","id":"dblp4176151","biburl":"http://www.dblp.org/rec/bibtex/conf/hybrid/AsarinBKMPR97","url":"http://dx.doi.org/10.1007/BFb0014737","conference":"HART","pages":"346-360","text":"HART 1997:346-360","booktitle":"Proceedings of HART","bibtex":"@inproceedings{ dblp4176151,\n title = {Data-Structures for the Verification of Timed Automata},\n author = {Eugene Asarin and Marius Bozga and Alain Kerbrat and Oded Maler and Amir Pnueli and Anne Rasse},\n author_short = {Asarin, E. and Bozga, M. and Kerbrat, A. and Maler, O. and Pnueli, A. and Rasse, A.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1997},\n key = {dblp4176151},\n id = {dblp4176151},\n biburl = {http://www.dblp.org/rec/bibtex/conf/hybrid/AsarinBKMPR97},\n url = {http://dx.doi.org/10.1007/BFb0014737},\n conference = {HART},\n pages = {346-360},\n text = {HART 1997:346-360},\n booktitle = {Proceedings of HART}\n}","bibbaseid":"asarin-bozga-kerbrat-maler-pnueli-rasse-datastructuresfortheverificationoftimedautomata-1997","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/BFb0014737"},"downloads":0},"search_terms":["data","structures","verification","timed","automata","asarin","bozga","kerbrat","maler","pnueli","rasse"],"keywords":[],"authorIDs":[],"dataSources":["BM6f2tvuh4TmFyQAz"]}