Safety and Line Capacity in Railways - An Approach in Timed CSP.

Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach

Browse the full IFM paper archive.