On modelling and verifying railway interlockings: Tracking train lengths

Overview of attention for article published in Science of Computer Programming, December 2014

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 X post from an account with 29 followers.

[SCP] On Modelling and Verifying Railway Interlockings: Tracking Train Lengths http://t.co/FQ8UnQMRuc

This page shows the most recent X posts that mention this research output. Click here to find out how to access more activity.