Leveraging the Analysis for Invariant Independence in Formal System Models.

Nils Przigoda, Robert Wille, Rolf Drechsler

Browse the full DSD paper archive.