Jose Manuel Cunha Leal Molarinho Carmo
AuthID: R-000-8HQ
11
TITLE: Inevitability in branching time
AUTHORS: Carmo, J; Sernadas, A;
PUBLISHED: 1989, SOURCE: International Symposium on Logical Foundations of Computer Science, 1989 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 363 LNCS
AUTHORS: Carmo, J; Sernadas, A;
PUBLISHED: 1989, SOURCE: International Symposium on Logical Foundations of Computer Science, 1989 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 363 LNCS
INDEXED IN: 
Scopus
Scopus12
TITLE: INFOLOG BRANCHING LOGIC OF EVENTS.
AUTHORS: Jose Carmo;
PUBLISHED: 1985, SOURCE: Information Systems: Theoretical and Formal Aspects.
AUTHORS: Jose Carmo;
PUBLISHED: 1985, SOURCE: Information Systems: Theoretical and Formal Aspects.
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID