@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.26