BibTeX record conf/vveis/MitchellTB04

download as .bib file

@inproceedings{DBLP:conf/vveis/MitchellTB04,
  author    = {Bill Mitchell and
               Robert Thomson and
               Paul Bristow},
  editor    = {Juan Carlos Augusto and
               Ulrich Ultes{-}Nitsche},
  title     = {Model Synthesis from Imprecise Specifications},
  booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
               of the 2nd International Workshop on Verification and Validation of
               Enterprise Information Systems, {VVEIS} 2004, In conjunction with
               {ICEIS} 2004, Porto, Portugal, April 2004},
  pages     = {20--25},
  publisher = {{INSTICC} Press},
  year      = {2004},
  timestamp = {Wed, 09 Mar 2016 08:56:00 +0100},
  biburl    = {https://dblp.org/rec/conf/vveis/MitchellTB04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics