Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CONF
ID - DBLP:conf/dsvis/2003
ED - Jorge, Joaquim A.
ED - Nunes, Nuno Jardim
ED - Cunha, João Falcão e
TI - Interactive Systems. Design, Specification, and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers
T3 - Lecture Notes in Computer Science
VL - 2844
PY - 2003//
PB - Springer
DO - 10.1007/B13960
UR - https://doi.org/10.1007/b13960
SN - ISBN 3-540-20159-9
ER -