Automatic refinement checking for formal system models

Julia Seiter, Robert Wille, Ulrich Kühne, Rolf Drechsler. Automatic refinement checking for formal system models. In Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014. pages 1-8, IEEE, 2014. [doi]

Abstract

Abstract is missing.