Showing 1 - 4 results of 4 for search 'Stefan Blom', query time: 0.02s Refine Results
  1. 1
    Distributed Branching Bisimulation Minimization by Inductive Signatures

    Distributed Branching Bisimulation Minimization by Inductive Signatures by Stefan Blom, Jaco van de Pol

    Published 2009-12-01
    Get full text
    Article
  2. 2
    Verifying Parallel Loops with Separation Logic

    Verifying Parallel Loops with Separation Logic by Stefan Blom, Saeed Darabi, Marieke Huisman

    Published 2014-06-01
    Get full text
    Article
  3. 3
    Verification of Shared-Reading Synchronisers

    Verification of Shared-Reading Synchronisers by Afshin Amighi, Marieke Huisman, Stefan Blom

    Published 2018-06-01
    Get full text
    Article
  4. 4
    A History of BlockingQueues

    A History of BlockingQueues by Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom

    Published 2012-09-01
    Get full text
    Article

Search Tools: