Spatial Model Checking for Smart Stations - Research Challenges.

Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo

Browse the full FMICS paper archive.