AuthorsS. Gjessing
TitleVerification of Systems of Processes and Monitors - Two Examples
StatusPublished
Publication TypeTechnical reports
Year of Publication1987
Number110
Date PublishedJune,
PublisherDepartment of Informatics, University of Oslo
Citation KeyND.7.Gjessing.1987