Burkhard Stubert

According to our database, Burkhard Stubert authored at least 1 paper in 2004.

Collaborative distances:

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

2004

Efficient (Non-)Reachability Analysis of Counterexamples.

Rolf Drechsler, Wolfgang Günther, Burkhard Stubert

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