Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 73



71
TITLE: Synchronization of logics with mixed rules: Completeness preservation
AUTHORS: Sernadas, A; Sernadas, C ; Caleiro, C ;
PUBLISHED: 1997, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
72
TITLE: Deriving Liveness Goals from Temporal Logic Specifications  Full Text
AUTHORS: CALEIRO, C ; SAAKE, G; SERNADAS, A;
PUBLISHED: 1996, SOURCE: Journal of Symbolic Computation, VOLUME: 22, ISSUE: 5-6
INDEXED IN: CrossRef
73
TITLE: Deriving liveness goals from temporal logic specifications  Full Text
AUTHORS: Caleiro, C ; Saake, G; Sernadas, A ;
PUBLISHED: 1996, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 22, ISSUE: 5-6
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
Page 8 of 8. Total results: 73.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service