External Links

    Journal: Formal Methods in System Design

    Volume 33, Issue 1-3

    1 -- 27Roman Gershman, Maya Koifman, Ofer Strichman. An approach for extracting a small unsatisfiable core
    29 -- 44Tianlong Gu, Huadong Liu. The symbolic OBDD scheme for generating mechanical assembly sequences
    45 -- 84Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin. Robust safety of timed automata
    85 -- 115Jochen Eisinger, Felix Klaedtke. Don t care words with an application to the automata-based approach for real addition
    runs on