in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 3941, Páginas: 237-248 (12)
Conference
12Th International Workshop on Design, Specification and Verification of Interactive Systems, Date: JUL 13-15, 2005, Location: Newcastle upon Tyne, ENGLAND, Patrocinadores: British Comp Soc, British HCI Grp, IFIP Working Grp, Univ Newcastle upon Tyne, Informat Res Inst