Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
71
TITLE: PROCESS SEMANTICS OF TEMPORAL LOGIC SPECIFICATION
AUTHORS: FIADEIRO, JL; COSTA, JF ; SERNADAS, A ; MAIBAUM, TSE;
PUBLISHED: 1993, SOURCE: 8TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES / 3RD COMPASS WORKSHOP in LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 655
AUTHORS: FIADEIRO, JL; COSTA, JF ; SERNADAS, A ; MAIBAUM, TSE;
PUBLISHED: 1993, SOURCE: 8TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES / 3RD COMPASS WORKSHOP in LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 655
INDEXED IN: 
WOS
WOS72
TITLE: ABSTRACT OBJECT TYPES - A TEMPORAL PERSPECTIVE
AUTHORS: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLISHED: 1989, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 398
AUTHORS: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLISHED: 1989, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 398
INDEXED IN: WOS
WOS