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}
}
Copyright © 2004-06-30 by Michael Ley (ley@uni-trier.de)