dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

15. DSV-IS 2008: Kingston, Ontario, Canada

T. C. Nicholas Graham, Philippe A. Palanque (Eds.): Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers. Lecture Notes in Computer Science 5136 Springer 2008, ISBN 978-3-540-70568-0 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Sat May 18 03:54:49 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page