Stefan Staber
发表
Rolf Drechsler,
Görschwin Fey,
Roderick Bloem,
2008,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Roderick Bloem,
Andreas Griesmayer,
Stefan Staber,
2010,
Softw. Test. Verification Reliab..
Roderick Bloem,
Andreas Griesmayer,
Stefan Staber,
2010
.
Rolf Drechsler,
Görschwin Fey,
Roderick Bloem,
2006,
Haifa Verification Conference.
Roderick Bloem,
Andreas Griesmayer,
Stefan Staber,
2007,
V&D@FLoC.
Roderick Bloem,
Barbara Jobstmann,
Andreas Griesmayer,
2005,
J. Comput. Syst. Sci..
Roderick Bloem,
Barbara Jobstmann,
Stefan Staber,
2005,
CHARME.
Roderick Bloem,
Stefan Staber,
R. Bloem,
2007,
SAT.