TITLE     : A tool-chain for statistical spatio-temporal model checking of bike sharing systems
AUTHOR(S) : Ciancia V, Latella D, Massink M, Paskauskas R, Vandin A
TYPE      : Conference article
YEAR      : 2016
CODE      : 359672

*** DO NOT EDIT THIS FILE ***