Erich Mikk

	2004
4		Paula J. Pingree, Erich Mikk: The HiVy Tool Set. CAV 2004: 466-469
	1998
3		Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann: Implementing Statecharts in PROMELA/SPIN. WIFT 1998: 90-101
	1997
2		Erich Mikk, Yassine Lakhnech, Michael Siegel: Hierarchical Automata as Model for Statecharts. ASIAN 1997: 181-196
	1995
1		Erich Mikk: Compilation of Z Specifications into C for Automatic Test Result Evaluation. ZUM 1995: 167-180

Coauthor Index

1	Gerard J. Holzmann	[3]
2	Yassine Lakhnech	[2] [3]
3	Paula J. Pingree	[4]
4	Michael Siegel	[2] [3]

Colors in the list of coauthors