Simulating and Analyzing Railway Interlockings in ExSpect

The full paper is not available in postscript or pdf. However, an abstract and a postscript or pdf file of the report version of this paper are available.

Back to the list of publications.