in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 2844, Páginas: 154-170 (17)
Conference
10Th International Workshop on Design, Specification and Verification of Interactive Systems, Date: JUN 11-13, 2003, Location: FUNCHAL, PORTUGAL, Patrocinadores: Fdn Ciencia & Technol, Fdn Luso Amer, CARE Technologies, ACM, British HCI Grp, Eurographics, IEEE, IFIP, SIG CHI, Univ Madeira