| |
| 1998 | ||
|---|---|---|
| 2 | EE | Fokko van Dijk, Wan Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen: EURIS, a Specification Method for Distributed Interlockings. SAFECOMP 1998: 296-305 |
| 1997 | ||
| 1 | EE | Alban Ponse, Chris Verhoef, Bas van Vlijmen: Algebra of Communicating Processes - Preface to the Special Issue. Theor. Comput. Sci. 177(2): 285-286 (1997) |
| 1 | Fokko van Dijk | [2] |
| 2 | Wan Fokkink | [2] |
| 3 | Gea Kolk | [2] |
| 4 | Alban Ponse | [1] |
| 5 | Paul van de Ven | [2] |
| 6 | Chris Verhoef | [1] |