Stefan Ruppertz

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1997

2 Rolf Drechsler, Bernd Becker, Stefan Ruppertz: Manipulation Algorithms for K*BMDs. TACAS 1997: 4-18

1 Rolf Drechsler, Bernd Becker, Stefan Ruppertz: The K*BMD: A Verification Data Structure. IEEE Design & Test of Computers 14(2): 51-59 (1997)

	1997
2		Rolf Drechsler, Bernd Becker, Stefan Ruppertz: Manipulation Algorithms for K*BMDs. TACAS 1997: 4-18
1		Rolf Drechsler, Bernd Becker, Stefan Ruppertz: The K*BMD: A Verification Data Structure. IEEE Design & Test of Computers 14(2): 51-59 (1997)

Coauthor Index