Timing analysis of asynchronous circuits using timed automata. Maler, O. & Pnueli, A. In Proceedings of Correct Hardware Design and Verification Methods (CHARME), pages 189-205, 1995.
Timing analysis of asynchronous circuits using timed automata [link]Paper  bibtex   
@inproceedings{ dblp4253534,
  title = {Timing analysis of asynchronous circuits using timed automata},
  author = {Oded Maler and Amir Pnueli},
  author_short = {Maler, O. and Pnueli, A.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1995},
  key = {dblp4253534},
  id = {dblp4253534},
  biburl = {http://www.dblp.org/rec/bibtex/conf/charme/MalerP95},
  url = {http://dx.doi.org/10.1007/3-540-60385-9_12},
  conference = {CHARME},
  pages = {189-205},
  text = {CHARME 1995:189-205},
  booktitle = {Proceedings of Correct Hardware Design and Verification Methods (CHARME)}
}

Downloads: 0