Abstract object types: a temporal persepective

Research output: Other contribution

Name	Lecture Notes in Computer Science
Volume	398

Cite this

TY - GEN

T1 - Abstract object types

T2 - a temporal persepective

AU - Sernadas, A

AU - Fiadeiro, J

AU - SERNADAS, C

AU - EHRICH, H D

PY - 1989

Y1 - 1989

UR - https://www.amazon.com/Temporal-Logic-Specification-Altrincham-Proceedings/dp/3540518037

M3 - Other contribution

SN - 3540518037

SN - 9783540518037

T3 - Lecture Notes in Computer Science

PB - Springer

CY - BERLIN

ER -