Alessandro Fantechi, Anne Elisabeth Haxthausen, Michel Boje Randahl Nielsen. Model Checking Geographically Distributed Interlocking Systems Using UMC. In Igor V. Kotenko, Yiannis Cotronis, Masoud Daneshtalab, editors, 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2017, St. Petersburg, Russia, March 6-8, 2017. pages 278-286, IEEE, 2017. [doi]
Abstract is missing.