Published in
Elsevier, Science of Computer Programming, (96), p. 315-336
DOI: 10.1016/j.scico.2014.04.005
Links
Tools
On modelling and verifying railway interlockings: Tracking train lengths
Journal article published in 2014 by
Phillip James 
,
Faron Moller,
Hoang Nga Nguyen,
Markus Roggenbach,
Steve Schneider,
Helen Treharne
,
Faron Moller,
Hoang Nga Nguyen,
Markus Roggenbach,
Steve Schneider,
Helen Treharne
This paper is available in a repository.
Full text: Download
Postprint:
archiving forbidden
Published version:
archiving forbidden
Data provided by 