R. Peukert

According to our database, R. Peukert authored at least 1 paper in 2001.

Collaborative distances:

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

2001

Verifikation im Experimentalsystem GIFT.

R. Peukert, Karsten Henke, Heinz-Dietrich Wuttke

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