Publikation

Reverse Engineering with Simulation Graphs

Mathias Soeken, Baruch Sterin, Rolf Drechsler, Robert K. Brayton

In: Formal Methods in Computer Aided Design (FMCAD). Formal Methods in Computer-Aided Design (FMCAD) September 27-30 Austin TX United States 2015.

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