Easy Cases of Deadlock Detection in Train Scheduling

Client

• Research Council of Norway (RCN) / 267554
• Research Council of Norway (RCN) / 237718

Author(s)

• Veronica Dal Sasso
• Leonardo Lamorgese
• Carlo Mannino
• Antonio Tancredi
• Paolo Ventura

Affiliation

• Italy
• University of Oslo
• SINTEF Digital / Mathematics and Cybernetics
• National Research Council

Issue

4

DOI

Read fulltext