An Efficient Explicit-time Description Method for Timed Model Checking. Wang, H. & MacCaull, W. In Proceedings of PDMC, pages 77-91, 2009.
Paper bibtex @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}
}
Downloads: 0
{"_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"]}