Abstract object types – a temporal perspective. / SERNADAS, A ; FIADEIRO, J ; SERNADAS, C ; EHRICH, H D .

TEMPORAL LOGIC IN SPECIFICATION. ed. / B BANIEQBAL; H BARRINGER; A PNUELI. BERLIN : SPRINGER-VERLAG BERLIN, 1989. p. 324-350.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publicationTEMPORAL LOGIC IN SPECIFICATION
EditorsB BANIEQBAL, H BARRINGER, A PNUELI
Place of PublicationBERLIN
PublisherSPRINGER-VERLAG BERLIN
Pages324-350
Number of pages27
ISBN (Print)3-540-51803-7
Publication statusPublished - 1989

ID: 7200733