Treffer: Automata-based model checking of recursive systems

Titel:
Automata-based model checking of recursive systems / Christina Gehnen, Tobias Winkler ; Joost-Pieter Katoen, Thomas Noll
Beteiligt:
Gehnen, Christina (Verfasser); Winkler, Tobias (Verfasser); Katoen, Joost-Pieter (Akademischer Betreuer) ; Noll, Thomas (Akademischer Betreuer)
Veröffent­licht:
Aachen : Universitätsbibliothek der RWTH Aachen, 2021
Umfang:
1 Online-Ressource
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Aachen. RWTH Aachen University, 2021
Hochschul­schrift:
Bachelorarbeit, RWTH Aachen University, 2021
DOI:
10.18154/RWTH-2024-02598

Zusatz-Informationen

Zusatz-Funktionen