DBLP Record 'conf/tacas/GaravelMBCDJSS06'

BibTeX

@inproceedings{DBLP:conf/tacas/GaravelMBCDJSS06,
  author    = {Hubert Garavel and
               Radu Mateescu and
               Damien Bergamini and
               Adrian Curic and
               Nicolas Descoubes and
               Christophe Joubert and
               Irina Smarandache-Sturm and
               Gilles Stragier},
  title     = {DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit
               State Space Generation},
  booktitle = {TACAS},
  year      = {2006},
  pages     = {445-449},
  ee        = {http://dx.doi.org/10.1007/11691372_30},
  crossref  = {DBLP:conf/tacas/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tacas/2006,
  editor    = {Holger Hermanns and
               Jens Palsberg},
  title     = {Tools and Algorithms for the Construction and Analysis of
               Systems, 12th International Conference, TACAS 2006 Held
               as Part of the Joint European Conferences on Theory and
               Practice of Software, ETAPS 2006, Vienna, Austria, March
               25 - April 2, 2006, Proceedings},
  booktitle = {TACAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3920},
  year      = {2006},
  isbn      = {3-540-33056-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}