Bounded Determinization of Timed Automata with Silent Transitions

Florian Lukas Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard Aichernig

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Search results

  • Active

    Formal Methods

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Project: Research area

  • Finished

    CRYSTAL - Critical Systems Engineering Factories

    Lorber, F. L. & Aichernig, B.

    1/05/13 → 30/04/16

    Project: Research project