U. Badelt

According to our database, U. Badelt authored at least 1 paper in 2003.

Collaborative distances:

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

2003

sciPROVE: C++ Based Verification Environment for IP and SoC Design1.

U. Badelt, H. Kühl, Martin Radetzki

Proceedings of the Forum on specification and Design Languages, 2003