BibTeX record conf/iwfm/Currie00

download as .bib file

@inproceedings{DBLP:conf/iwfm/Currie00,
  author    = {A. J. Currie},
  title     = {A Comparison of Three Model Checkers Applied to a Distributed Database
               Problem},
  booktitle = {{IWFM}},
  series    = {Workshops in Computing},
  publisher = {{BCS}},
  year      = {2000}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics