TITLE     : Spatio-temporal model checking of vehicular movement in public transport systems
AUTHOR(S) : Ciancia V, Gilmore S, Grilletti G, Latella D, Loreti M, Massink M
TYPE      : Journal article
YEAR      : 2018
CODE      : 387128

*** DO NOT EDIT THIS FILE ***