External Links

    Journal: Formal Methods in System Design

    Volume 52, Issue 2

    117 -- 146Orna Kupferman, Gal Vardi. On relative and probabilistic finite counterability
    147 -- 192Jonas Westman, Mattias Nyberg. Conditions of contracts for separating responsibilities in heterogeneous systems
    193 -- 226Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero. Solving parity games via priority promotion
    runs on