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.

Projekte

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence