DBLP Record 'conf/ipps/GrooteRU08'

BibTeX

@inproceedings{DBLP:conf/ipps/GrooteRU08,
  author    = {Jan Friso Groote and
               Michel A. Reniers and
               Yaroslav S. Usenko},
  title     = {Verification of networks of timed automata using mCRL2},
  booktitle = {IPDPS},
  year      = {2008},
  pages     = {1-8},
  ee        = {http://dx.doi.org/10.1109/IPDPS.2008.4536575},
  crossref  = {DBLP:conf/ipps/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ipps/2008,
  title     = {22nd IEEE International Symposium on Parallel and Distributed
               Processing, IPDPS 2008, Miami, Florida USA, April 14-18,
               2008},
  booktitle = {IPDPS},
  publisher = {IEEE},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}