DBLP Record 'conf/ipps/VerstoepBBB09'

BibTeX

@inproceedings{DBLP:conf/ipps/VerstoepBBB09,
  author    = {Kees Verstoep and
               Henri E. Bal and
               Jiri Barnat and
               Lubos Brim},
  title     = {Efficient large-scale model checking},
  booktitle = {IPDPS},
  year      = {2009},
  pages     = {1-12},
  ee        = {http://dx.doi.org/10.1109/IPDPS.2009.5161000},
  crossref  = {DBLP:conf/ipps/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ipps/2009,
  title     = {23rd IEEE International Symposium on Parallel and Distributed
               Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009},
  booktitle = {IPDPS},
  publisher = {IEEE},
  year      = {2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}