@InProceedings{CamposH:08a, author = {J. C. Campos and M. D. Harrison}, title = {Systematic analysis of control panel interfaces using formal tools}, booktitle = {XVth International Workshop on the Design, Verification and Specification of Interactive Systems (DSV-IS 2008)}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, month = {July}, year = {2008}, number = {5136}, pages ={72-85}, doi = {10.1007/978-3-540-70569-7_6}, paperurl = {https://haslab.uminho.pt/jccampos/files/2012-dsvis08-ch.pdf} }
Generated by mkBiblio 2.6.26