TITLE     : Deadlock avoidance in train scheduling: A model checking approach
AUTHOR(S) : Mazzanti F, Spagnolo Go, Della Longa S, Ferrari A
TYPE      : Conference article
YEAR      : 2014
CODE      : 294341

*** DO NOT EDIT THIS FILE ***