![]() | ![]() |
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] |