On the correspondence between conformance testing and regular inference (2005)

by Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen
Venue:In FASE, volume 3442 of Lecture Notes in Computer Science