Deadlock Avoidance in Train Scheduling: A Model Checking Approach.

Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari

Browse the full FMICS paper archive.