![](/img/cover-not-exists.png)
[IEEE 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) - St. Petersburg, Russia (2017.3.6-2017.3.8)] 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) - Model Checking Geographically Distributed Interlocking Systems Using UMC
Fantechi, Alessandro, Haxthausen, Anne E., Nielsen, Michel Boje RandahlYear:
2017
Language:
english
DOI:
10.1109/PDP.2017.66
File:
PDF, 650 KB
english, 2017