Title | Temporal Logic Specification of Objects: An Approach to Compositionality and Reusability Allowing \tt next operators |
Publication Type | Conference Proceedings |
Year of Conference | 1994 |
Authors | Conrad, S. |
Conference Name | Working papers of the International Workshop on Information Systems - Correctness and Reusability |
Pagination | 228-241 |
Publisher | Vrije Universiteit Amsterdam, RapportNr. IR-357 |
Abstract | no |
Public | no |