Towards a generic verification methodology for system models.

Robert Wille, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann, Rolf Drechsler

Browse the full DATE paper archive.