Verification of Systems of Processes and Monitors - Two Examples

Verification of Systems of Processes and Monitors - Two Examples

Verification of Systems of Processes and Monitors - Two Examples

Authors: S. Gjessing
Status: Published
Publication type: Technical Reports
Year of publication: 1987
Journal: -
Publisher: Department of Informatics, University of Oslo
Citation key: 12988

Google Scholar BibTex