Title | Abstract object types: A temporal perspective |
Publication Type | Conference Paper |
Year of Publication | 1989 |
Authors | Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich |
Conference Name | Proc. Colloq. on Temporal Logic in Specification, B. Banieqbal, H. Barringer, and A. Pnueli, editors |
Date Published | 1989 |
Publisher | Springer LNCS 398 |
Abstract | no |
Attachment | Size |
---|---|
1989AbstrObjTypes.pdf | 393.35 KB |