On Verification of Parallel and Interleaved ExecutionsAuthorsO. Krogdahl and O. LysneStatusPublishedPublication typeTechnical ReportsYear of publication1999Journal-PublisherDepartment of Informatics, University of OsloCitation key12998Google Scholar BibTex