Jump to navigation
By thinking constantly about it…
G
Search form
Search
Research
Education
Innovation
Home
About Simula
Publications
People
Careers
Contact
Authors
O. Krogdahl
and
O. Lysne
Title
On Verification of Parallel and Interleaved Executions
Status
Published
Publication Type
Technical reports
Year of Publication
1999
Number
277
Publisher
Department of Informatics, University of Oslo
Citation Key
ND.7.LYSNE.1999
Google Scholar
BibTeX