Theoretische Informatik/Formale Methoden

Browse by

By Issue Date Authors Titles Keyword (DDC)Keyword (GND)Publication type xmlui.ArtifactBrowser.Navigation.browse_mime Language Subjects Open access By Submit Date

Collections in this community

Dissertationen [2]

Recent Submissions

Dissertation
Hybrid Branching-Time Logics

Kernberger, Daniel (2019)
Dissertation
Buffered Simulation for Büchi Automata

Hutagalung, Milka (2019)