BibTeX record conf/vveis/MitchellTB04

download as .bib file

@inproceedings{DBLP:conf/vveis/MitchellTB04,
  author    = {Bill Mitchell and
               Robert Thomson and
               Paul Bristow},
  title     = {Model Synthesis from Imprecise Specifications},
  booktitle = {{VVEIS}},
  pages     = {20--25},
  publisher = {{INSTICC} Press},
  year      = {2004}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics