Erich Mikk
发表
Gerard J. Holzmann,
Yassine Lakhnech,
Michael Siegel,
1998,
Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.
Yassine Lakhnech,
Michael Siegel,
Carsta Petersohn,
1997,
FME 1997.
Erich Mikk,
E. Mikk,
1995,
ZUM.
Paula J. Pingree,
Erich Mikk,
2004,
CAV.
Erich Mikk,
E. Mikk,
2000
.
Paula J. Pingree,
Erich Mikk,
2004
.
Yassine Lakhnech,
Michael Siegel,
Erich Mikk,
1997,
ASIAN.
Gerard J. Holzmann,
P. J. Pingree,
Erich Mikk,
2002,
Proceedings. The 21st Digital Avionics Systems Conference.