B. Niemann
发表
Christian Haubelt,
Jürgen Teich,
Jens Gladigau,
2007,
FDL.
Christian Haubelt,
Bernhard Niemann,
C. Haubelt,
2006,
FDL.
Christian Haubelt,
Bernhard Niemann,
C. Haubelt,
2006,
MBMV.
Christian Haubelt,
Bernhard Niemann,
C. Haubelt,
2007,
2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007).