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
Published
| 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