Benedikt Geukes

According to our database, Benedikt Geukes authored at least 1 paper in 2015.

Collaborative distances:

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

2015

Modulare Verifikation von Non-Mainline Chip-Level Funktionen.

Matteo Michel, Johannes Koesters, Benedikt Geukes

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015