Felix Klein
发表
Bernd Finkbeiner,
Maria Laura Delle Monache,
Philip Koopman,
2017,
SCAV@CPSWeek.
Felix Klein,
2016
.
Felix Klein,
Martin Zimmermann,
Martin Zimmermann,
2016,
FSTTCS.
Bernd Finkbeiner,
Jean-François Raskin,
Romain Brenguier,
2019,
ArXiv.
Bernd Finkbeiner,
Ruzica Piskac,
Mark Santolucito,
2017,
SCAV@CPSWeek.
Felix Klein,
Arnold Sommerfeld,
Raymond J. Nagem,
2014
.
Felix Klein,
Arnold Sommerfeld,
Raymond J. Nagem,
2012
.
Felix Klein,
Martin Zimmermann,
F. Klein,
2015,
CSL.
Felix Klein,
F. Klein,
1940
.
Bernd Finkbeiner,
Felix Klein,
Carsten Gerstacker,
2018,
ATVA.
Felix Klein,
1894
.
Felix Klein,
2009
.
Felix Klein,
Martin Zimmermann,
2015,
ICALP.
Felix Klein,
Arnold Sommerfeld,
2008
.
Felix Klein,
2016
.
Philipp Slusallek,
Felix Klein,
2013
.
Felix Klein,
Martin Zimmermann,
F. Klein,
2014,
Log. Methods Comput. Sci..
Bernd Finkbeiner,
Felix Klein,
B. Finkbeiner,
2018,
Dependable Software Systems Engineering.
Bernd Finkbeiner,
Felix Klein,
2016,
CAV.
Felix Klein,
E. H. Moore,
Charles Ehresmann,
2009
.
Felix Klein,
Felix Klein,
2008
.