.gif)
Temporal Logic Specification of Objects: An Approach to Compositionality and Reusability Allowing \tt next operators
| 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 |