Abstract object types – a temporal perspective

A SERNADAS, J FIADEIRO, C SERNADAS, H D EHRICH

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

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

Cite this