@proceedings{DBLP:conf/dsvis/2002,
editor = {Peter Forbrig and
Quentin Limbourg and
Bodo Urban and
Jean Vanderdonckt},
title = {Interactive Systems. Design, Specification, and Verification,
9th International Workshop, DSV-IS 2002, Rostock Germany,
June 12-14, 2002},
booktitle = {DSV-IS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2545},
year = {2002},
isbn = {3-540-00266-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}