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 proceeding › Conference contribution
Original language | English |
---|---|
Title of host publication | TEMPORAL LOGIC IN SPECIFICATION |
Editors | B BANIEQBAL, H BARRINGER, A PNUELI |
Place of Publication | BERLIN |
Publisher | SPRINGER-VERLAG BERLIN |
Pages | 324-350 |
Number of pages | 27 |
ISBN (Print) | 3-540-51803-7 |
Publication status | Published - 1989 |
ID: 7200733