Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 73



71
TÍTULO: Synchronization of logics with mixed rules: Completeness preservation
AUTORES: Sernadas, A; Sernadas, C ; Caleiro, C ;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
72
TÍTULO: Deriving Liveness Goals from Temporal Logic Specifications  Full Text
AUTORES: CALEIRO, C ; SAAKE, G; SERNADAS, A;
PUBLICAÇÃO: 1996, FONTE: Journal of Symbolic Computation, VOLUME: 22, NÚMERO: 5-6
INDEXADO EM: CrossRef
73
TÍTULO: Deriving liveness goals from temporal logic specifications  Full Text
AUTORES: Caleiro, C ; Saake, G; Sernadas, A ;
PUBLICAÇÃO: 1996, FONTE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 22, NÚMERO: 5-6
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
Página 8 de 8. Total de resultados: 73.

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

Links Úteis

Ajuda

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