LARIS 1.0: LAnguage for railway interlocking specifications

Additional Metadata
ACM	Control Structure Performance Analysis and Design Aids (acm B.1.2), SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS (acm C.3), Formal Definitions and Theory (acm D.3.1)
THEME	Software (theme 1)
Publisher	CWI
ISBN	978-90-6196-489-6
Hard Copy Location	CWI Archive M044: 17-18
Organisation	Software Analysis and Transformation
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Fokkink, W., Groote, J. F., Hollenberg, M., & van Vlijmen, B. (2000). LARIS 1.0: LAnguage for railway interlocking specifications. CWI.

Publication