M. Leucker
发表
B. Bollig,
M. Leucker,
M. Leucker,
2001,
Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.
M. Leucker,
A. Bauer,
C. Schallhart,
2006,
Australian Software Engineering Conference (ASWEC'06).