External Links

    Journal: Formal Methods in System Design

    Volume 39, Issue 1

    47 -- 82Christoffer Sloth, Rafael Wisniewski. Verification of continuous dynamical systems by timed automata
    83 -- 113Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer. Automatic analysis of DMA races using model checking and ::::k::::-induction
    runs on