@INPROCEEDINGS{CamposD03, author = {J. C. Campos and G. J. Doherty}, title = {Reasoning about Dynamic Information Displays}, booktitle = {Interactive Systems: Design, Specification and Verification}, year = {2003}, editor = {J. A. Jorge and N. J. Nunes and J. Falcão e Cunha}, volume = {2844}, series = {Lecture Notes in Computer Science}, pages = {288-302}, publisher = {Springer-Verlag}, note = {ISSN: 0302-9743, ISBN: 3-540-20159-9}, paperurl = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.100.7499&rep=rep1&type=pdf} }
Generated by mkBiblio 2.6.26