Lecture Notes In Computer Science; Vol. 2220 archive Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification

Publisher
Springer
Website
Year
2003
Period
June 11-13
Place
Funchal, Madeira Island, Portugal
ISBN
DOI
Volume
Copyright info

Description

Articles