Options
2002
Conference Proceeding
Titel
Interactive Systems. Design, Specification, and Verification. Proceedings
Titel Supplements
9th International Workshop. Revised papers. DSV-IS 2002, Rostock, Germany, June 12 - 14, 2002
Beteiligt