Näytetään 1 - 3 yhteensä 3 tuloksesta haulle 'Wehrheim, H', hakuaika: 0,02s Tarkenna hakua
  1. 1
    SLAB: A Certifying Model Checker for Infinite−State Concurrent Systems

    SLAB: A Certifying Model Checker for Infinite−State Concurrent Systems Tekijä Dräger, K, Kupriyanov, A, Finkbeiner, B, Wehrheim, H

    Julkaistu 2010
    Conference item
  2. 2
    Slicing Abstractions

    Slicing Abstractions Tekijä Brückner, I, Dräger, K, Finkbeiner, B, Wehrheim, H

    Julkaistu 2007
    Conference item
  3. 3
    Slicing Abstractions

    Slicing Abstractions Tekijä Brückner, I, Dräger, K, Finkbeiner, B, Wehrheim, H

    Julkaistu 2008
    Journal article

Työkalut: