in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 2844, Pages: 5-6
Conference
10Th International Workshop on Design, Specification, and Verification of Interactive Systems, Dsv-Is 2003, Date: 11 June 2003 through 13 June 2003, Sponsors: ACM;CARE Technologies;et al;Eurographics;FCT;IFIP
