Treffer 1 - 4 von 4 für Suche 'Sørensen, Mathias Grund', Suchdauer: 0,28s Treffer weiter einschränken
  1. 1
    Soundness of Timed-Arc Workflow Nets

    Soundness of Timed-Arc Workflow Nets von Mateo, José Antonio, Srba, Jiří, Sørensen, Mathias Grund


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    On Time with Minimal Expected Cost

    On Time with Minimal Expected Cost von David, Alexandre, Jensen, Peter G., Larsen, Kim Guldstrand, Legay, Axel, Lime, Didier, Sørensen, Mathias Grund, Taankvist, Jakob H.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Memory Efficient Data Structures for Explicit Verification of Timed Systems

    Memory Efficient Data Structures for Explicit Verification of Timed Systems von Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Srba, Jiří, Sørensen, Mathias Grund, Taankvist, Jakob Haar


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Verification of Liveness Properties on Closed Timed-Arc Petri Nets

    Verification of Liveness Properties on Closed Timed-Arc Petri Nets von Andersen, Mathias, Gatten Larsen, Heine, Srba, Jiří, Grund Sørensen, Mathias, Haahr Taankvist, Jakob


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: