Publikation
Leveraging the Analysis for Invariant Independence in Formal System Models
Nils Przigoda; Robert Wille; Rolf Drechsler
In: 18th Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-18), August 26-28, Funchal (Madeira), Portugal, 2015.