EURIS, a Specification Method for Distributed Interlockings.

Fokko van Dijk, Wan J. Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen

Browse the full SAFECOMP paper archive.