Verification of Monitors Based on a Partial Correctness SemanticsAuthorsS. GjessingStatusPublishedPublication typeTechnical ReportsYear of publication1983Journal-PublisherDepartment of Informatics, University of OsloCitation key12986Google Scholar BibTex