Temporal Logic Specification of Objects: An Approach to Compositionality and Reusability Allowing next Operators
| author/s: | Stefan Conrad |
| type: | Inproceedings |
| editor: | R. Wieringa, R. Feenstra |
| booktitle: | Working Papers of the International Workshop on Information Systems - Correctness and Reusability IS-CORE'94 |
| publisher: | Vrije Universiteit Amsterdam, Technical Report No. IR-357 |
| pages: | 228-241 |
| month: | December |
| year: | 1994 |
E-Mail senden