Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
71
TÃTULO: PROCESS SEMANTICS OF TEMPORAL LOGIC SPECIFICATION
AUTORES: FIADEIRO, JL; COSTA, JF ; SERNADAS, A ; MAIBAUM, TSE;
PUBLICAÇÃO: 1993, FONTE: 8TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES / 3RD COMPASS WORKSHOP in LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 655
AUTORES: FIADEIRO, JL; COSTA, JF ; SERNADAS, A ; MAIBAUM, TSE;
PUBLICAÇÃO: 1993, FONTE: 8TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES / 3RD COMPASS WORKSHOP in LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 655
INDEXADO EM: 
WOS
WOS72
TÃTULO: ABSTRACT OBJECT TYPES - A TEMPORAL PERSPECTIVE
AUTORES: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLICAÇÃO: 1989, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 398
AUTORES: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLICAÇÃO: 1989, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 398
INDEXADO EM: WOS
WOS