Kirsten Winter, Neil J. Robinson. Modelling Large Railway Interlockings and Model Checking Small Ones. In Michael J. Oudshoorn, editor, Computer Science 2003, Twenty-Sixth Australasian Computer Science Conference (ACSC2003), Adelaide, South Australia, February 2003. Volume 16 of CRPIT, pages 309-316, Australian Computer Society, 2003. [doi]
Abstract is missing.