Extra Materials Archive

Book cover

Interactive Systems. Design, Specification, and Verification

10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers

© 2003

Soft cover - Print (ISBN: 978-3-540-20159-5)

Electronic (ISBN: 978-3-540-39929-2)

View this book on SpringerLink

Extra Materials File 978-3-540-39929-2