K. Lermer
发表
C. Fidge,
I. Hayes,
K. Lermer,
2007
.
Colin J. Fidge,
Ian J. Hayes,
Karl Lermer,
2003,
CATS.
Colin J. Fidge,
Ian J. Hayes,
Karl Lermer,
2001,
IEE Proc. Softw..
Colin J. Fidge,
K. R. C. Lermer,
G. N. Watson,
2002
.
Paul A. Strooper,
Karl Lermer,
P. Strooper,
2001,
Theor. Comput. Sci..
Paul A. Strooper,
Karl Lermer,
P. Strooper,
2000,
IFIP TCS.
Karl Lermer,
K. Lermer,
1999,
ARTS.
Antonio Cerone,
Karl Reiner Lermer,
A. Cerone,
2019,
FMFun.
P. Strooper,
K. Lermer,
2007
.
Colin J. Fidge,
Ian J. Hayes,
Karl Lermer,
2005,
Theor. Comput. Sci..
Colin J. Fidge,
Ian J. Hayes,
Karl Lermer,
2003,
Formal Aspects of Computing.