Showing 1 - 2 results of 2 for search 'Wytse Oortwijn', query time: 0.02s Refine Results
  1. 1
    Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors

    Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors by Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn

    Published 2019-08-01
    Get full text
    Article
  2. 2
    An Abstraction Technique for Verifying Shared-Memory Concurrency

    An Abstraction Technique for Verifying Shared-Memory Concurrency by Wytse Oortwijn, Dilian Gurov, Marieke Huisman

    Published 2020-06-01
    Get full text
    Article

Search Tools: