AuthorsS. Gjessing
TitleVerification of Monitors Based on a Partial Correctness Semantics
StatusPublished
Publication TypeTechnical reports
Year of Publication1983
Number95
Date PublishedJuly,
PublisherDepartment of Informatics, University of Oslo
Citation KeyND.7.Gjessing.1983.b