Interactive Systems. Design, Specification, and Verification, 13Th International Workshop, Dsvis 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
AuthID
P-00G-421
P-00G-421
© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service