| |
| 2003 | ||
|---|---|---|
| 2 | EE | Eckehard Schnieder, Mourad Chouikha, Stefan Einer, Michael Meyer zu Hörste: BASYSNET - An Integrated Approach for Automated Control System Development. Petri Net Technology for Communication-Based Systems 2003: 352-362 |
| 1999 | ||
| 1 | EE | Michael Meyer zu Hörste, Eckehard Schnieder: Formal Modelling and Simulation of Train Control Systems Using Petri Nets. World Congress on Formal Methods 1999: 1867 |
| 1 | Mourad Chouikha | [2] |
| 2 | Stefan Einer | [2] |
| 3 | Eckehard Schnieder | [1] [2] |