DMCA

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

by Therese Berg , Olga Grinchtein , Bengt Jonsson , Martin Leucker , Harald Raffelt , Bernhard Steffen
Venue:of Lecture Notes in Computer Science
Citations:26 - 12 self