Model generation by moderated regular extrapolation. (2002)

by A Hagerer, H Hungar, O Niese, B Steffen
Venue:Proc. FASE ’02, 5th Int. Conf. on Fundamental Approaches to Software Engineering. Volume 2306 of Lecture Notes in Computer Science.,