Interactive Systems. Design, Specification, and Verification 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers

Main Author: Jorge, Joaquim
Other Authors: Falcao e Cunha, Joao, Jardim Nunes, Nuno
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2003
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Physical Description:v. digital
ISBN:9783540201595
978-3-540-20159-5