Treffer: Model checking pPDA vs unambiguous automata

Titel:

Model checking pPDA vs unambiguous automata / Anastasiia Petrova, Tobias Winkler ; Joost-Pieter Katoen, Thomas Noll

Beteiligt:

Veröffentlicht:

Aachen : Universitätsbibliothek der RWTH Aachen, 2024

Umfang:

1 Online-Ressource

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Aachen. RWTH Aachen University, 2024

Hochschulschrift:

Bachelorarbeit, RWTH Aachen University, 2023

DOI:

10.18154/RWTH-2024-06745

Zusatz-Informationen