8. DSV-IS 2001:
Glasgow,
Scotland,
UK
Chris Johnson (Ed.):
Interactive Systems: Design, Specification, and Verification, 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001, Revised Papers.
Lecture Notes in Computer Science 2220 Springer 2001, ISBN 3-540-42807-0 BibTeX
@proceedings{DBLP:conf/dsvis/2001,
editor = {Chris Johnson},
title = {Interactive Systems: Design, Specification, and Verification,
8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK,
June 13-15, 2001, Revised Papers},
booktitle = {DSV-IS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2220},
year = {2001},
isbn = {3-540-42807-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Mobile Interface Design
Supervision and Control Systems
Temporal and Stochastic Issues
New Perspectives
Copyright © Sat May 16 23:07:36 2009
by Michael Ley (ley@uni-trier.de)