MitchellTB04'

BibTeX

@inproceedings{DBLP:conf/vveis/MitchellTB04,
  author    = {Bill Mitchell and
               Robert Thomson and
               Paul Bristow},
  title     = {Model Synthesis from Imprecise Specifications},
  booktitle = {VVEIS},
  year      = {2004},
  pages     = {20-25},
  crossref  = {DBLP:conf/vveis/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/vveis/2004,
  editor    = {Juan Carlos Augusto and
               Ulrich Ultes-Nitsche},
  title     = {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},
  booktitle = {VVEIS},
  publisher = {INSTICC Press},
  year      = {2004},
  isbn      = {972-8865-03-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}