Fokkink, Wan; Groote, Jan Friso; Hollenberg, Marco; van Vlijmen, Bas "LARIS 1.0 -- LAnguage for Railway Interlocking Specifications" CWI, 2000

Languages mentioned

• LARIS {2000}