APA Citation

Forbrig, P., Limbourg, Q., Urban, B., & Vanderdonckt, J. (2002). Interactive Systems:Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg.

Chicago Style Citation

Forbrig, Peter, Quentin Limbourg, Bodo Urban, and Jean Vanderdonckt. Interactive Systems:Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002.

MLA Citation

Forbrig, Peter, Quentin Limbourg, Bodo Urban, and Jean Vanderdonckt. Interactive Systems:Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002.