Stefan Ruppertz

According to our database, Stefan Ruppertz authored at least 3 papers between 1996 and 1997.

Collaborative distances:

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

1997

The K*BMD: A Verification Data Structure.

Rolf Drechsler, Bernd Becker, Stefan Ruppertz

IEEE Des. Test Comput., 1997

Manipulation Algorithms for K*BMDs.

Rolf Drechsler, Bernd Becker, Stefan Ruppertz

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

1996

K*BMDs: A New Data Structure for Verification.

Rolf Drechsler, Bernd Becker, Stefan Ruppertz

Proceedings of the 1996 European Design and Test Conference, 1996