BibTeX record conf/cav/BienmullerDW00

download as .bib file

@inproceedings{DBLP:conf/cav/BienmullerDW00,
  author    = {Tom Bienm{\"{u}}ller and
               Werner Damm and
               Hartmut Wittke},
  title     = {The {STATEMATE} Verification Environment - Making It Real},
  booktitle = {{CAV}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1855},
  pages     = {561--567},
  publisher = {Springer},
  year      = {2000}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics