H. König
发表
Z. Diskin,
H. König,
2017
.
Adrian Rutle,
Yngve Lamo,
Harald König,
2020,
FASE.
M. Löwe,
H. König,
M. Peters,
2006
.
H. König,
U. Wolter,
2013,
Applied Categorical Structures.
Ludovico Iovino,
Adrian Rutle,
Z. Diskin,
2020,
Software and Systems Modeling.
H. König,
Patrick Stünkel,
2018
.
Adrian Rutle,
Yngve Lamo,
Harald König,
2021,
Formal Aspects of Computing.
H. König,
1999
.
Michael Löwe,
Harald König,
Christoph Schulz,
2015,
Sci. Comput. Program..
Harald König,
Uwe Wolter,
H. König,
2017,
Log. Methods Comput. Sci..
Zinovy Diskin,
Harald König,
Z. Diskin,
2017,
ECMFA.
Michael Löwe,
Harald König,
Christoph Schulz,
2014,
FASE.
M. Peters,
M. Löwe,
H. König,
2013
.
Yngve Lamo,
Adrian Rutle,
H. König,
2023,
J. Object Technol..
Michael Löwe,
Harald König,
Christoph Schulz,
2005,
Formal Methods in Software and Systems Modeling.
Michael Löwe,
Harald König,
Christoph Schulz,
2011,
J. Symb. Comput..
H. König,
U. Wolter,
2017,
Log. Methods Comput. Sci..
Harald König,
Uwe Wolter,
H. König,
2015,
Appl. Categorical Struct..
Michael Löwe,
Harald König,
Christoph Schulz,
2009
.
Michael Löwe,
Harald König,
Christoph Schulz,
2022
.