@inproceedings{ dblp2574165,
  title = {Verifying Real-Time Systems using Explicit-time Description Methods},
  author = {Hao Wang and Wendy MacCaull},
  author_short = {Wang, H. and MacCaull, W.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2009},
  key = {dblp2574165},
  id = {dblp2574165},
  biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-0912-1903},
  url = {http://dx.doi.org/10.4204/EPTCS.13.6},
  conference = {QFM},
  pages = {67-78},
  text = {QFM 2009:67-78},
  booktitle = {Proceedings of QFM}
}

{"_id":{"_str":"5254344e22ea65a142000454"},"__v":2,"authorIDs":[],"author_short":["Wang, H.","MacCaull, W."],"bibbaseid":"wang-maccaull-verifyingrealtimesystemsusingexplicittimedescriptionmethods-2009","bibdata":{"downloads":0,"urls":{"Paper":"http://dx.doi.org/10.4204/EPTCS.13.6"},"role":"author","bibbaseid":"wang-maccaull-verifyingrealtimesystemsusingexplicittimedescriptionmethods-2009","bibtex":"@inproceedings{ dblp2574165,\n title = {Verifying Real-Time Systems using Explicit-time Description Methods},\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 = {dblp2574165},\n id = {dblp2574165},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-0912-1903},\n url = {http://dx.doi.org/10.4204/EPTCS.13.6},\n conference = {QFM},\n pages = {67-78},\n text = {QFM 2009:67-78},\n booktitle = {Proceedings of QFM}\n}","booktitle":"Proceedings of QFM","text":"QFM 2009:67-78","pages":"67-78","conference":"QFM","url":"http://dx.doi.org/10.4204/EPTCS.13.6","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/abs-0912-1903","id":"dblp2574165","key":"dblp2574165","year":"2009","type":"inproceedings","bibtype":"inproceedings","author_short":["Wang, H.","MacCaull, W."],"author":["Hao Wang","Wendy MacCaull"],"title":"Verifying Real-Time Systems using Explicit-time Description Methods"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/abs-0912-1903","downloads":0,"keywords":[],"search_terms":["verifying","real","time","systems","using","explicit","time","description","methods","wang","maccaull"],"title":"Verifying Real-Time Systems using Explicit-time Description Methods","year":2009,"dataSources":["4La36ApazDHnp8CWZ"]}