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)
Journal Article

In: Logical methods in computer science : LMCS
Volume: 18
Issue: 1
Page(s)/Article-Nr.: 29

Institutions

• Department of Computer Science [120000]
• Chair of Computer Science 2 (Software Modeling and Verification) [121310]