Holger Pfeifer
发表
Axel Dold,
Harald Ruess,
Friedrich W. von Henke,
1997,
FME.
Axel Dold,
Friedrich W. von Henke,
Holger Pfeifer,
2010
.
Friedrich W. von Henke,
Holger Pfeifer,
2007,
Reliab. Eng. Syst. Saf..
Neeraj Suri,
Marco Winckler,
Miguel Correia,
2009
.
Holger Pfeifer,
2000,
FORTE.
Axel Dold,
Friedrich W. von Henke,
Holger Pfeifer,
2010
.
Cinzia Bernardeschi,
Paolo Masci,
Holger Pfeifer,
2009,
SSS.
Amit Sahu,
Holger Pfeifer,
Julian Wörmann,
2020,
ArXiv.
Holger Pfeifer,
1997
.
Neeraj Suri,
Lorenzo Strigini,
Guillaume Urvoy-Keller,
2007
.
Thorsten Liebig,
Friedrich W. von Henke,
Holger Pfeifer,
2004,
Description Logics.
Paul Ziemann,
Holger Pfeifer,
Berndt Koslowski,
2011,
Beilstein journal of nanotechnology.
Harald Ruess,
Holger Pfeifer,
1999,
TPHOLs.
Hugo Daniel Macedo,
Peter Gorm Larsen,
Martin Benedikt,
2020,
SIMULTECH.
Friedrich W. von Henke,
Holger Pfeifer,
2004,
SAFECOMP.
Vincent Aravantinos,
Martin Törngren,
Haydn A. Thompson,
2018
.
Axel Dold,
Friedrich W. von Henke,
Holger Pfeifer,
2009
.
Peter Dadam,
Stefanie Rinderle-Ma,
Linh Thao Ly,
2010,
ER.
Axel Dold,
Friedrich W. von Henke,
Harald Rueß,
2010
.
Harald Ruess,
Friedrich W. von Henke,
Stephan Pfab,
1998,
TPHOLs.
Martin Strecker,
Harald Ruess,
Friedrich W. von Henke,
1996,
AMAST.
Holger Pfeifer,
2017
.
Maria Sorea,
Wilfried Steiner,
John M. Rushby,
2004,
International Conference on Dependable Systems and Networks, 2004.
Bernhard Schätz,
Roberto Passerone,
Alberto Sangiovanni-Vincentelli,
2017
.
Peter Dadam,
Stefanie Rinderle-Ma,
Manfred Reichert,
2010,
CAiSE Forum.
Cinzia Bernardeschi,
Paolo Masci,
Holger Pfeifer,
2008,
SAFECOMP.
Friedrich W. von Henke,
Holger Pfeifer,
2001,
ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597).
Holger Pfeifer,
H. Pfeifer,
2003
.
Neeraj Suri,
Philippe A. Palanque,
Miguel Correia,
2007
.
Harald Ruess,
Holger Pfeifer,
H. Ruess,
1998
.