Leveraging the Analysis for Invariant Independence in Formal System Models

@inproceedings{pub7889,
    author = {

Przigoda, Nils
 and 

Wille, Robert
 and 

Drechsler, Rolf
},
    title = {Leveraging the Analysis for Invariant Independence in Formal System Models},
    booktitle = {18th Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-18), August 26-28, Funchal (Madeira), Portugal},
    year = {2015}
}