Export 1 results:
Search results for field_publication_owner:not_simula
Filters: 1 is biblio_type:Technical reports and 2 is biblio_year:1999 and 3 is field_publication_state:18 and Author is O. Krogdahl [Reset Search]
Filters: 1 is biblio_type:Technical reports and 2 is biblio_year:1999 and 3 is field_publication_state:18 and Author is O. Krogdahl [Reset Search]
On Verification of Parallel and Interleaved Executions. Department of Informatics, University of Oslo, 1999.