Compositional Learning for Interleaving Parallel Automata

von Labbaf, Faezeh
Veröffentlicht in FOSSACS (26. : 2023 : Paris) Foundations of software science and computation structures (2023)