Media type: E-Book Title: Certificates for automata in a hostile environment Contributor: Muskalla, Sebastian [Author]; Meyer, Roland [Degree supervisor]; Holík, Lukáš [Degree supervisor]; Zetzsche, Georg [Degree supervisor] Published: Braunschweig: Technische Universität Braunschweig, 2024 Extent: Online-Ressource, 500 Seiten Language: English Identifier: Keywords: Verifikation ; Programmverifikation ; Model Checking ; Formale Methode ; Nebenläufigkeit ; Softwarespezifikation Origination: University thesis: Dissertation, Braunschweig, Technische Universität Braunschweig, 2023 Footnote: Access State: Open Access