Interactive Systems. Design, Specification, and Verification, 10Th International Workshop, Dsv-Is 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers
AuthID
P-00G-3YD
P-00G-3YD