Treffer: Formal Verification of Algorithms for Automata and Model Checking

Titel:

Formal Verification of Algorithms for Automata and Model Checking / Julian M. Brunner ; Gutachter: Francisco Javier Esparza Estaun, Tobias Nipkow ; Betreuer: Tobias Nipkow

Beteiligt:

Veröffentlicht:

München : Universitätsbibliothek der TU München, 2022

Umfang:

1 Online-Ressource

Format:

E-Book

Sprache:

Englisch

Hochschulschrift:

Dissertation, München, Technische Universität München, 2022

Schlagworte:

Zusatz-Informationen