Abstract object types – a temporal perspective

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

Cite this

@inproceedings{434b783ff0f54454aed4056ee86653e6,

title = "Abstract object types – a temporal perspective",

author = "A SERNADAS and J FIADEIRO and C SERNADAS and EHRICH, \{H D\}",

year = "1989",

language = "English",

isbn = "3-540-51803-7",

pages = "324--350",

editor = "B BANIEQBAL and H BARRINGER and A PNUELI",

booktitle = "TEMPORAL LOGIC IN SPECIFICATION",

publisher = "SPRINGER-VERLAG BERLIN",

}