An Efficient Explicit-time Description Method for Timed Model Checking. Wang, H. & MacCaull, W. In Proceedings of PDMC, pages 77-91, 2009.
An Efficient Explicit-time Description Method for Timed Model Checking [link]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