Publikation
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.
@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} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023