Browsing by Author "Kernberger, Daniel"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Hybrid Branching-Time Logics
    (2019) Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik; Lange, Martin (Prof. Dr.); Schneider, Thomas (Prof. Dr.)