TITLE     : Spatial Model Checking for Smart Stations: Research Challenges
AUTHOR(S) : Ter Beek Mh, Ciancia V, Latella D, Massink M, Spagnolo Go
TYPE      : Conference article
YEAR      : 2021
CODE      : 455997

*** DO NOT EDIT THIS FILE ***