Publication
Automatic Refinement Checking for Formal System Models
Julia Seiter; Robert Wille; Ulrich Kühne; Rolf Drechsler
In: Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany, o.A. , 2014.
Abstract
o.A.