Treffer 1 - 2 von 2 für Suche 'Hansen, Michael Reichhardt', Suchdauer: 0,20s Treffer weiter einschränken
  1. 1
    Logics and Algorithms for Verification of Concurrent Systems

    Logics and Algorithms for Verification of Concurrent Systems von Somla, Rafał

    Volltext bestellen
    Dissertation

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A Theory of Duration Calculus with Application

    A Theory of Duration Calculus with Application von Hansen, Michael Reichhardt, Van Hung, Dang


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: