Residuality and Learning for Nondeterministic Nominal Automata

Moerman, Joshua (Corresponding author); Sammartino, Matteo (Corresponding author)

Braunschweig : Department of Theoretical Computer Science, Technical University of Braunschweig (2022)
Fachzeitschriftenartikel

In: Logical methods in computer science : LMCS
Band: 18
Heft: 1
Seite(n)/Artikel-Nr.: 29

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]