Forbrig, P.. , <br/><br/>
Interactive systems :  design specification and verification : 9th , DSV-IS 2002,Rostock Germany, June 12-14, 2002 / 
P. Forbrig, B. Urban and Q. Limbourg. 
 - x, 267 pages :  illustrations ;  24 cm. 
 - Lecture notes in computer science ;  2545 .
<br/><br/><label>ISBN: </label>3540002669 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Interactive computer systems --Congresses.
<br/><br/><label>LC Class. No.: </label>QA76.9.I58   / .F67 2002