DBLP Record 'conf/ipps/BohmE04'

BibTeX

@inproceedings{DBLP:conf/ipps/BohmE04,
  author    = {Sabine M. B{\"o}hm and
               Klaus Echtle},
  title     = {State Space Reduction in SDL Models of Fault-Tolerant Systems},
  booktitle = {IPDPS},
  year      = {2004},
  ee        = {http://csdl.computer.org/comp/proceedings/ipdps/2004/2132/12/2132120206babs.htm},
  crossref  = {DBLP:conf/ipps/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ipps/2004,
  title     = {18th International Parallel and Distributed Processing Symposium
               (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April
               2004, Santa Fe, New Mexico, USA},
  booktitle = {IPDPS},
  publisher = {IEEE Computer Society},
  year      = {2004},
  isbn      = {0-7695-2132-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}