David N. Jansen
发表
Mathai Joseph,
Fault-Tolerant Systems,
J. Katoen,
2002,
Lecture Notes in Computer Science.
Lijun Zhang,
Holger Hermanns,
David N. Jansen,
2005,
FORTE.