Bernhard Steffen
发表
Tim Tegeler,
Alnis Murtovi,
Markus Frohme,
2019,
From Software Engineering to Formal Methods and Tools, and Back.
Tiziana Margaria,
Bernhard Steffen,
1996,
TACAS.
Jens Knoop,
Bernhard Steffen,
Oliver Rüthing,
1992
.
Tiziana Margaria,
Frederik Gossen,
Bernhard Steffen,
2019,
Computing and Software Science.
Armin Seyfried,
Maik Boltes,
Bernhard Steffen,
2011
.
Bernhard Steffen,
Marc Jasper,
B. Steffen,
2019,
From Reactive Systems to Cyber-Physical Systems.
C. Pandu Rangan,
Oscar Nierstrasz,
Takeo Kanade,
2009,
Lecture Notes in Computer Science.
Helmut Seidl,
Markus Müller-Olm,
Bernhard Steffen,
2005,
ESOP.
Andreas Schadschneider,
Armin Seyfried,
Maik Boltes,
2011
.
Armin Seyfried,
Tobias Rupprecht,
Wolfram Klingsch,
2011,
Collective Dynamics.
Armin Seyfried,
Tobias Rupprecht,
Wolfram Klingsch,
2007
.
Armin Seyfried,
Wolfram Klingsch,
Thomas Lippert,
2007
.
Armin Seyfried,
Wolfram Klingsch,
Thomas Lippert,
2007
.
Bernhard Steffen,
2019,
Computing and Software Science.
Gregor Lämmel,
Flurin Hänseler,
Bernhard Steffen,
2018,
Transportation Research Part C: Emerging Technologies.
Bernhard Steffen,
Gerhard Woeginger,
G. Woeginger,
2019,
Computing and Software Science.
Tiziana Margaria,
Bernhard Steffen,
T. Margaria,
2012,
Communications in Computer and Information Science.
Armin Seyfried,
Bernhard Steffen,
A. Seyfried,
2009
.
Armin Seyfried,
Gregor Lämmel,
Bernhard Steffen,
2014
.
Armin Seyfried,
Maik Boltes,
Bernhard Steffen,
2011
.
Andreas Schadschneider,
Armin Seyfried,
Maik Boltes,
2010
.
Armin Seyfried,
Tobias Rupprecht,
Wolfram Klingsch,
2009
.
Tiziana Margaria,
Jens Knoop,
Marion Klein,
1995,
CONCUR.