CamposHL04'

BibTeX

@inproceedings{DBLP:conf/vveis/CamposHL04,
  author    = {Jos{\'e} Creissac Campos and
               Michael D. Harrison and
               Karsten Loer},
  title     = {Verifying user interface behaviour with model checking},
  booktitle = {VVEIS},
  year      = {2004},
  pages     = {87-96},
  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}
}