Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações a aguardar confirmação

81
TÍTULO: Deriving Liveness Goals from Temporal Logic Specifications
AUTORES: Carlos Caleiro; Gunter Saake; Amílcar Sernadas;
PUBLICAÇÃO: 1996, FONTE: J. Symb. Comput., VOLUME: 22, NÚMERO: 5/6
INDEXADO EM: DBLP
NO MEU: DBLP
Página 9 de 9. Total de resultados: 81.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service