Compositional Learning for Interleaving Parallel Automata.
Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi
Browse the full FOSSACS paper archive.
Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi
Browse the full FOSSACS paper archive.