in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 2844, Pages: 331-345 (15)
Conference
10Th International Workshop on Design, Specification and Verification of Interactive Systems, Date: JUN 11-13, 2003, Location: FUNCHAL, PORTUGAL, Sponsors: Fundacao Ciencia & Technol, Fundacao Luso Amer, CARE Technologies, ACM, British HCI Grp, Eurographics, IEEE, IFIP, SIG CHI, Univ Madeira
