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