VareaACEP02'

BibTeX

@inproceedings{DBLP:conf/codes/VareaACEP02,
  author    = {Mauricio Varea and
               Bashir M. Al-Hashimi and
               Luis Alejandro Cort{\'e}s and
               Petru Eles and
               Zebo Peng},
  title     = {Symbolic model checking of Dual Transition Petri Nets},
  booktitle = {CODES},
  year      = {2002},
  pages     = {43-48},
  ee        = {http://doi.acm.org/10.1145/774789.774799},
  crossref  = {DBLP:conf/codes/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/codes/2002,
  editor    = {J{\"o}rg Henkel and
               Xiaobo Sharon Hu and
               Rajesh Gupta and
               Sri Parameswaran},
  title     = {Proceedings of the Tenth International Symposium on Hardware/Software
               Codesign, CODES 2002, Estes Park, Colorado, USA, May 6-8,
               2002},
  booktitle = {CODES},
  publisher = {ACM},
  year      = {2002},
  isbn      = {1-58113-542-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}