External Links

    Journal: Formal Methods in System Design

    Volume 46, Issue 1

    1 -- 41Fides Aarts, Bengt Jonsson, Johan Uijen, Frits W. Vaandrager. Generating models of infinite-state communication protocols using regular inference with abstraction
    42 -- 80Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen. A game approach to determinize timed automata
    81 -- 104Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah. Vacuity in practice: temporal antecedent failure
    runs on