Andreas Ehrenfried

Publication Activity (10 Years)

Years Active: 2006-2006
Publications (10 Years): 0

Publications

Andreas Ehrenfried, Daniel Scholz, Tobias Welp
Anwendungsmöglichkeiten von Bounded Model Checking und affiner Arithmetik für die Verifikation von Analogschaltungen. MBMV (2006)