Search dblp for Publications

export results for "The STATEMATE Verification Environment - Making It Real"

 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