Amilcar dos Santos Costa Sernadas
AuthID: R-000-0HS
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: Specification and verification of database dynamics
AUTHORS: Jos� Fiadeiro; Am�lcar Sernadas;
PUBLISHED: 1988, SOURCE: Acta Informatica, VOLUME: 25, ISSUE: 6
AUTHORS: Jos� Fiadeiro; Am�lcar Sernadas;
PUBLISHED: 1988, SOURCE: Acta Informatica, VOLUME: 25, ISSUE: 6
13
TITLE: OBJECT-ORIENTED SPEClFlCATlON OF DATABASES: AN ALGEBRAlC APPROACH
AUTHORS: Amílcar Sernadas; Cristina Sernadas; Hans Dieter Ehrich;
PUBLISHED: 1987, SOURCE: 13th International Conference on Very Large Data Bases, VLDB 1987 in VLDB 1987 - Proceedings of the 13th International Conference on Very Large Data Bases
AUTHORS: Amílcar Sernadas; Cristina Sernadas; Hans Dieter Ehrich;
PUBLISHED: 1987, SOURCE: 13th International Conference on Very Large Data Bases, VLDB 1987 in VLDB 1987 - Proceedings of the 13th International Conference on Very Large Data Bases
INDEXED IN: Scopus
Scopus