J. C. Campos and G. J. Doherty
Reasoning about Dynamic Information Displays
In J. A. Jorge, N. J. Nunes and J. Falc„o e Cunha, editors, Interactive Systems: Design, Specification and Verification, volume 2844 of Lecture Notes in Computer Science, pages 288-302. Springer-Verlag. 2003. (ISSN: 0302-9743, ISBN: 3-540-20159-9)

download PDF

 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=}

Generated by mkBiblio 2.6.23