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