Skip to main navigation Skip to search Skip to main content

Laris 1.0. LAnguages for Railway Interlocking Specifications

Research output: Book/ReportReportAcademic

Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Publication statusPublished - 2000

Cite this