Revision of CTL models

• Author(s): Wassermann, Renata
• Date: 2010
• Origin: Oasisbr
• Subject(s): REVISÃO DE CRENÇAS
• Document Type: Other
• Language: English