TITLE     : Designing a deadlock-free train scheduler: A model checking approach
AUTHOR(S) : Mazzanti F, Spagnolo Go, Ferrari A
TYPE      : Conference article
YEAR      : 2014
CODE      : 294347

*** DO NOT EDIT THIS FILE ***