@inproceedings{ dblp2569440,
  title = {An Efficient Explicit-time Description Method for Timed Model Checking},
  author = {Hao Wang and Wendy MacCaull},
  author_short = {Wang, H. and MacCaull, W.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2009},
  key = {dblp2569440},
  id = {dblp2569440},
  biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-0912-2553},
  url = {http://dx.doi.org/10.4204/EPTCS.14.6},
  conference = {PDMC},
  pages = {77-91},
  text = {PDMC 2009:77-91},
  booktitle = {Proceedings of PDMC}
}

{"_id":{"_str":"5254344e22ea65a14200044c"},"__v":2,"authorIDs":[],"author_short":["Wang, H.","MacCaull, W."],"bibbaseid":"wang-maccaull-anefficientexplicittimedescriptionmethodfortimedmodelchecking-2009","bibdata":{"downloads":0,"urls":{"Paper":"http://dx.doi.org/10.4204/EPTCS.14.6"},"role":"author","bibbaseid":"wang-maccaull-anefficientexplicittimedescriptionmethodfortimedmodelchecking-2009","bibtex":"@inproceedings{ dblp2569440,\n title = {An Efficient Explicit-time Description Method for Timed Model Checking},\n author = {Hao Wang and Wendy MacCaull},\n author_short = {Wang, H. and MacCaull, W.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2009},\n key = {dblp2569440},\n id = {dblp2569440},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-0912-2553},\n url = {http://dx.doi.org/10.4204/EPTCS.14.6},\n conference = {PDMC},\n pages = {77-91},\n text = {PDMC 2009:77-91},\n booktitle = {Proceedings of PDMC}\n}","booktitle":"Proceedings of PDMC","text":"PDMC 2009:77-91","pages":"77-91","conference":"PDMC","url":"http://dx.doi.org/10.4204/EPTCS.14.6","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/abs-0912-2553","id":"dblp2569440","key":"dblp2569440","year":"2009","type":"inproceedings","bibtype":"inproceedings","author_short":["Wang, H.","MacCaull, W."],"author":["Hao Wang","Wendy MacCaull"],"title":"An Efficient Explicit-time Description Method for Timed Model Checking"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/abs-0912-2553","downloads":0,"keywords":[],"search_terms":["efficient","explicit","time","description","method","timed","model","checking","wang","maccaull"],"title":"An Efficient Explicit-time Description Method for Timed Model Checking","year":2009,"dataSources":["xPeq8WtYv2TnaZAQ8"]}