Treffer 1 - 4 von 4 für Suche 'Kohlen, Bram', Suchdauer: 0,38s Treffer weiter einschränken
  1. 1
    Fast Verified SCCs for Probabilistic Model Checking

    Fast Verified SCCs for Probabilistic Model Checking von Hartmanns, Arnd, Kohlen, Bram, Lammich, Peter


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Backwards Reachability for Probabilistic Timed Automata: A Replication Report

    Backwards Reachability for Probabilistic Timed Automata: A Replication Report von Hartmanns, Arnd, Kohlen, Bram

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Tweaking the Odds in Probabilistic Timed Automata

    Tweaking the Odds in Probabilistic Timed Automata von Hartmanns, Arnd, Katoen, Joost-Pieter, Kohlen, Bram, Spel, Jip


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Backwards Reachability for Probabilistic Timed Automata: A Replication Report

    Backwards Reachability for Probabilistic Timed Automata: A Replication Report von Hartmanns, Arnd, Kohlen, Bram

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: