AuthorsO. Krogdahl and O. Lysne
TitleOn Verification of Parallel and Interleaved Executions
StatusPublished
Publication TypeTechnical reports
Year of Publication1999
Number277
PublisherDepartment of Informatics, University of Oslo
Citation KeyND.7.LYSNE.1999