Andreas Ehrenfried

According to our database, Andreas Ehrenfried authored at least 1 paper in 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

Anwendungsmöglichkeiten von Bounded Model Checking und affiner Arithmetik für die Verifikation von Analogschaltungen.

Andreas Ehrenfried, Daniel Scholz, Tobias Welp

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006