OpenScience Initiative am IfI
Sammlung an OpenScience Projekten des Instituts für Informatik Frankfurt in den Kategorien:
OpenScience Initiative at IfI
Collection of OpenScience projects of the Institute for Computer Science Frankfurt in the categories:
OpenSource
The Gnucap-UF extensions allow advanced methods for circuit analysis and verification. e.g. equivalence checking, state space analysis, ageing simulation.Contact: Prof.Dr. Lars Hedrich