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

7. DSV-IS 2000: Limerick, Ireland

Philippe A. Palanque, Fabio Paternò (Eds.): Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings. Lecture Notes in Computer Science 1946 Springer 2000, ISBN 3-540-41663-3 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/dsvis/2000,
  editor    = {Philippe A. Palanque and
               Fabio Patern{\`o}},
  title     = {Interactive Systems: Design, Specification, and Verification,
               7th International Workshop DSV-IS, Limerick, Ireland, June 5-6,
               2000, Proceedings},
  booktitle = {DSV-IS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1946},
  year      = {2000},
  isbn      = {3-540-41663-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Designing Interactive Distributed Systems

Designing User Interfaces

Tools for User Interfaces

Formal Methods for Human-Computer Interaction

Model-Based Design of Interactive Systems

Acknowledgement: The information on this page was contributed by Fabio Paternò

Copyright © Mon Nov 2 20:31:15 2009 by Michael Ley (ley@uni-trier.de)