in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98 in SPRINGER COMPUTER SCIENCE
Volume: 1, Pages: 155-170 (16)
Conference
Eurographics Workshop on Design, Specification and Verification of Interactive Systems (Dsv-Is 98), Date: JUN 03-05, 1998, Location: ABINGDON, ENGLAND, Sponsors: ERCIM, Eurograph