Dissertationen

Permanent URI for this collectionhttps://kobra.uni-kassel.de/handle/123456789/11325

Browse

Search Results

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.)