Gea Kolk

Publication Activity (10 Years)

Years Active: 1998-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)