O. Krogdahl
External collaborator
Publications
Simula-affiliated publications listed
1999
Technical reports
Read On Verification of Parallel and Interleaved Executions
O. Krogdahl and O. Lysne
On Verification of Parallel and Interleaved Executions
External collaborator
Simula-affiliated publications listed
O. Krogdahl and O. Lysne
On Verification of Parallel and Interleaved Executions