Interactive Systems, Design, Specification, and Verification, 12Th International Workshop, Dsvis 2005, Newcastle upon Tyne, Uk, July 13-15, 2005, Revised Papers
AuthID
P-00K-E08
P-00K-E08
© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service