E. Mikk
发表
Erich Mikk,
E. Mikk,
2000
.
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.
Yassine Lakhnech,
Michael Siegel,
Erich Mikk,
1997,
ASIAN.