@inproceedings{ dblp3854841,
  title = {Verification of Timed Automata via Satisfiability Checking},
  author = {Peter Niebert and Moez Mahfoudh and Eugene Asarin and Marius Bozga and Oded Maler and Navendu Jain},
  author_short = {Niebert, P. and Mahfoudh, M. and Asarin, E. and Bozga, M. and Maler, O. and Jain, N.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2002},
  key = {dblp3854841},
  id = {dblp3854841},
  biburl = {http://www.dblp.org/rec/bibtex/conf/ftrtft/NiebertMABMJ02},
  url = {http://dx.doi.org/10.1007/3-540-45739-9_15},
  conference = {FTRTFT},
  pages = {225-244},
  text = {FTRTFT 2002:225-244},
  booktitle = {Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT)}
}

{"_id":"vdb69tEWZoLhbGect","bibbaseid":"niebert-mahfoudh-asarin-bozga-maler-jain-verificationoftimedautomataviasatisfiabilitychecking-2002","downloads":0,"creationDate":"2015-07-05T11:05:40.200Z","title":"Verification of Timed Automata via Satisfiability Checking","author_short":["Niebert, P.","Mahfoudh, M.","Asarin, E.","Bozga, M.","Maler, O.","Jain, N."],"year":2002,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ftrtft/NiebertMABMJ02","bibdata":{"title":"Verification of Timed Automata via Satisfiability Checking","author":["Peter Niebert","Moez Mahfoudh","Eugene Asarin","Marius Bozga","Oded Maler","Navendu Jain"],"author_short":["Niebert, P.","Mahfoudh, M.","Asarin, E.","Bozga, M.","Maler, O.","Jain, N."],"bibtype":"inproceedings","type":"inproceedings","year":"2002","key":"dblp3854841","id":"dblp3854841","biburl":"http://www.dblp.org/rec/bibtex/conf/ftrtft/NiebertMABMJ02","url":"http://dx.doi.org/10.1007/3-540-45739-9_15","conference":"FTRTFT","pages":"225-244","text":"FTRTFT 2002:225-244","booktitle":"Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT)","bibtex":"@inproceedings{ dblp3854841,\n title = {Verification of Timed Automata via Satisfiability Checking},\n author = {Peter Niebert and Moez Mahfoudh and Eugene Asarin and Marius Bozga and Oded Maler and Navendu Jain},\n author_short = {Niebert, P. and Mahfoudh, M. and Asarin, E. and Bozga, M. and Maler, O. and Jain, N.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2002},\n key = {dblp3854841},\n id = {dblp3854841},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ftrtft/NiebertMABMJ02},\n url = {http://dx.doi.org/10.1007/3-540-45739-9_15},\n conference = {FTRTFT},\n pages = {225-244},\n text = {FTRTFT 2002:225-244},\n booktitle = {Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT)}\n}","bibbaseid":"niebert-mahfoudh-asarin-bozga-maler-jain-verificationoftimedautomataviasatisfiabilitychecking-2002","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-45739-9_15"},"downloads":0},"search_terms":["verification","timed","automata","via","satisfiability","checking","niebert","mahfoudh","asarin","bozga","maler","jain"],"keywords":[],"authorIDs":[],"dataSources":["EmKaodgKM2Y3NHQoj"]}