Details

Autor(en) / Beteiligte

• Jorge, Joaquim A
• Jardim Nunes, Nuno
• Falcão e Cunha, João

Titel

Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers [Elektronische Ressource]

Ort / Verlag

Berlin, Heidelberg : Springer Berlin Heidelberg, Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg

Erscheinungsjahr

2003

Link zum Volltext

• Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)