External Links

    Journal: Formal Methods in System Design

    Volume 38, Issue 3

    193 -- 222Karin Quaas. MSO logics for weighted timed automata
    223 -- 262Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. Runtime enforcement monitors: composition, synthesis, and enforcement abilities
    263 -- 288Peter M. Maurer. Conjugate symmetry
    runs on