Mark Kattenbelt
发表
Mark Kattenbelt,
M. Kattenbelt,
2009
.
Michael Huth,
Mark Kattenbelt,
M. Huth,
2009,
FSTTCS.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2008,
VMCAI.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2008,
QAPL.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2010,
Formal Methods Syst. Des..
Lijun Zhang,
Gerard J. M. Smit,
Lucia Cloth,
2007,
Quantitative Aspects of Embedded Systems.
Mark Kattenbelt,
M. Kattenbelt,
2010
.