Aspects of Semantics and Verification of MonitorsAuthorsS. GjessingStatusPublishedPublication typeThesisYear of publication1983Journal-PublisherDepartment of Informatics, University of OsloCitation key12803Google Scholar BibTex