Interactive Systems: Design, Specification, And Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | July 2003 |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2126698 |
About Interactive Systems: Design, Specification, And Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. . . .