Stefan Ruppertz
发表
Rolf Drechsler,
Bernd Becker,
Stefan Ruppertz,
1996,
Proceedings ED&TC European Design and Test Conference.
Rolf Drechsler,
Bernd Becker,
Stefan Ruppertz,
1997,
IEEE Des. Test Comput..
Rolf Drechsler,
Bernd Becker,
Stefan Ruppertz,
1997,
TACAS.