On the Correspondence Between Conformance Testing and Regular Inference.
Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen
Browse the full FASE paper archive.
Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen
Browse the full FASE paper archive.