Browsing by Author "Bruse, Florian"
Now showing 1 - 2 of 2
- Results Per Page
- Sort Options
Item Extremal Fixpoints for Higher-Order Modal Logic(2018-10) Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik; Lange, Martin (Prof. Dr.); Hague, Matthew (Prof. Dr.)Item Model checking timed recursive CTL(2024-04-09)