Verification of the Euris railway control specification of Woerden-Harmelen. Work in progress. Centrum voor Wiskunde en Informatica (2000)

by S C C Blom