Temporal Logic Specification of Objects: An Approach to Compositionality and Reusability Allowing \tt next operators

TitleTemporal Logic Specification of Objects: An Approach to Compositionality and Reusability Allowing \tt next operators
Publication TypeConference Proceedings
Year of Conference1994
AuthorsConrad, S.
Conference NameWorking papers of the International Workshop on Information Systems - Correctness and Reusability
Pagination228-241
PublisherVrije Universiteit Amsterdam, RapportNr. IR-357
Abstract

no

Publicno