Export 1 results:
Search results for biblio_type:Technical reports
Filters: Author is O. Krogdahl  [Reset Search]
1999
O. Krogdahl and O. Lysne. On Verification of Parallel and Interleaved Executions. Department of Informatics, University of Oslo, 1999.