| 2004 | ||
|---|---|---|
| c4 | ||
| 1998 | ||
| c3 | Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann: Implementing Statecharts in PROMELA/SPIN. WIFT 1998: 90-101 | |
| 1997 | ||
| c2 | Erich Mikk, Yassine Lakhnech, Michael Siegel: Hierarchical Automata as Model for Statecharts. ASIAN 1997: 181-196 | |
| 1995 | ||
| c1 | Erich Mikk: Compilation of Z Specifications into C for Automatic Test Result Evaluation. ZUM 1995: 167-180 | |
| 1 | Gerard J. Holzmann | |
| 2 | Yassine Lakhnech | |
| 3 | Paula J. Pingree | |
| 4 | Michael Siegel |
Data released under the ODC-BY 1.0 license — See also our legal information page