in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 3941 LNCS, Pages: 264
Conference
12Th International Workshop on Interactive Systems - Design, Specification and Verification, Dsvis 2005, Date: 13 July 2005 through 15 July 2005, Location: Newcastle unpon Tyne
