Treffer 1 - 3 von 3 für Suche 'Nordhoff, Benedikt', Suchdauer: 0,24s Treffer weiter einschränken
  1. 1
    Iterable Forward Reachability Analysis of Monitor-DPNs

    Iterable Forward Reachability Analysis of Monitor-DPNs von Nordhoff, Benedikt, Müller-Olm, Markus, Lammich, Peter


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A Branching Time Variant of CaRet

    A Branching Time Variant of CaRet von Gutsfeld, Jens Oliver, Müller-Olm, Markus, Nordhoff, Benedikt


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Iterable Forward Reachability Analysis of Monitor-DPNs

    Iterable Forward Reachability Analysis of Monitor-DPNs von Nordhoff, Benedikt, Müller-Olm, Markus, Lammich, Peter

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: