J. C. Campos, M. D. Harrison and Karsten Loer
Verifying user interface behaviour with model checking
In J. C. Augusto and U. Ultes-Nitsche, editors, Verification and Validation of Enterprise Information Systems (VVEIS 2004), pages 87-96. INSTICC Press. 2004. (ISBN: 972-8865-03-1)

download PDF

@INPROCEEDINGS{CamposHL:04,
 author = {J. C. Campos and M. D. Harrison and Karsten Loer},
 title = {Verifying user interface behaviour with model checking},
 booktitle = {Verification and Validation of Enterprise Information Systems (VVEIS 2004)},
 year = {2004},
 editor = {J. C. Augusto and U. Ultes-Nitsche},
 pages = {87-96},
 address = {Porto, Portugal},
 month = {April},
 publisher = {INSTICC Press},
 note = {ISBN: 972-8865-03-1},
 paperurl = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.131.5872&rep=rep1&type=pdf}
}

Generated by mkBiblio 2.6.23