Bas van Vlijmen

Publication Activity (10 Years)

Years Active: 1997-1998
Publications (10 Years): 0

Publications

Fokko van Dijk, Wan J. Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen
EURIS, a Specification Method for Distributed Interlockings. SAFECOMP (1998)
Alban Ponse, Chris Verhoef, Bas van Vlijmen
Algebra of Communicating Processes - Preface to the Special Issue. Theor. Comput. Sci. 177 (2) (1997)