Análise comparativa das lógicas temporais de especificaçâo

• Autores: A. Sernadas, J. Carmo
• Localización: XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987, Vol. 3, 1987, págs. 340-345
• Idioma: portugués
• Texto completo no disponible (Saber más ...)