Generation and Validation of Frame Conditions in Formal Models.
Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler
VenueCMODELSWARD
Year2018
ProceedingsMODELSWARD (Revised Selected Papers)
DBLP recordconf/modelsward/NiemannPWD18a ↗
Browse the full MODELSWARD paper archive.