Export 1 results:
Search results for biblio_year:1991
Filters: 1 is biblio_year:1986 and 2 is biblio_year:2018 and 3 is field_publication_owner:not_simula and 4 is biblio_type:PhD Thesis and 5 is biblio_year:2006 and 6 is biblio_year:2012 and 7 is biblio_type:Technical reports and 8 is biblio_year:1999 and 9 is biblio_year:2000 and 10 is biblio_year:1995 and 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.