DBLP Record 'conf/ipps/HendriksV06'

BibTeX

@inproceedings{DBLP:conf/ipps/HendriksV06,
  author    = {Martijn Hendriks and
               Marcel Verhoef},
  title     = {Timed automata based analysis of embedded system architectures},
  booktitle = {IPDPS},
  year      = {2006},
  ee        = {http://dx.doi.org/10.1109/IPDPS.2006.1639422},
  crossref  = {DBLP:conf/ipps/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ipps/2006,
  title     = {20th International Parallel and Distributed Processing Symposium
               (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island,
               Greece},
  booktitle = {IPDPS},
  publisher = {IEEE},
  year      = {2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}