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.