Automatic refinement checking for formal system models.

Julia Seiter, Robert Wille, Ulrich Khne, Rolf Drechsler

Browse the full FDL paper archive.