B. Jobstmann
发表
R. Bloem,
Stefan Staber,
B. Jobstmann,
2005
.
B. Jobstmann,
Barbara Jobstmann,
2009
.
B. Jobstmann,
C. V. Essen,
Barbara Jobstmann,
2012
.
A. Pnueli,
R. Bloem,
B. Jobstmann,
2005
.
R. Guerraoui,
T. Henzinger,
Vasu Singh,
2008,
PLDI 2008.
K. Rustan M. Leino,
Barbara Jobstmann,
K. Leino,
2016
.
B. Jobstmann,
2006
.
Stefan J. Galler,
R. Bloem,
B. Jobstmann,
2007
.
R. Bodík,
B. Jobstmann,
Barbara Jobstmann,
2013,
International Journal on Software Tools for Technology Transfer.
B. Jobstmann,
Christian von Essen,
Barbara Jobstmann,
2015,
Formal Methods in System Design.
Dirk Fahland,
Jana Koehler,
Niels Lohmann,
2009,
BPM.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Rohit Singh,
2010,
J. ACM.
Krishnendu Chatterjee,
Roderick Bloem,
Barbara Jobstmann,
2018,
Handbook of Model Checking.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Roderick Bloem,
2009,
CAV.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Barbara Jobstmann,
2008,
CONCUR.
Amir Pnueli,
Nir Piterman,
Roderick Bloem,
2006,
J. Comput. Syst. Sci..
Roderick Bloem,
Barbara Jobstmann,
Andreas Griesmayer,
2005,
CAV.
Roderick Bloem,
Barbara Jobstmann,
Andreas Griesmayer,
2005,
J. Comput. Syst. Sci..
Moshe Y. Vardi,
Roderick Bloem,
Karin Greimel,
2008,
ICALP.
Roderick Bloem,
Barbara Jobstmann,
R. Bloem,
2006,
2006 Formal Methods in Computer Aided Design.
Alois Knoll,
Chih-Hong Cheng,
Yu-Fang Chen,
2011,
ATVA.
Alois Knoll,
Chih-Hong Cheng,
Harald Ruess,
2011,
NASA Formal Methods.
Thomas A. Henzinger,
Verena Wolf,
Barbara Jobstmann,
2009,
Int. J. Found. Comput. Sci..
Roderick Bloem,
Barbara Jobstmann,
Martin Weiglhofer,
2007,
CAV.
Christian von Essen,
Barbara Jobstmann,
B. Jobstmann,
2013,
Formal Methods Syst. Des..
Krishnendu Chatterjee,
Thomas A. Henzinger,
Rohit Singh,
2011,
TACAS.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Bettina Könighofer,
2009,
2009 Formal Methods in Computer-Aided Design.