LARIS 1.0: LAnguage for Railway Interlooking Specifications

Wan J. Fokkink, Jan Friso Groote, Marco Hollenberg, Bas van Vlijmen

Research output: Book/ReportBookAcademic

14 Downloads (Pure)
Original languageEnglish
PublisherCentrum voor Wiskunde en Informatica
Number of pages129
ISBN (Print)978-90-6196-489-6
Publication statusPublished - 2000

Cite this