Andreas Ehrenfried
According to our database1,
Andreas Ehrenfried
authored at least 1 paper
in 2006.
Collaborative distances:
Collaborative distances:
Timeline
2006
0
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2006
Anwendungsmöglichkeiten von Bounded Model Checking und affiner Arithmetik für die Verifikation von Analogschaltungen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006