Stylianos Basagiannis, Panagiotis Katsaros. Formal Verification of Network Interlocking Control by Distributed Signal Boxes. In Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano, editors, Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings. Volume 11842 of Lecture Notes in Computer Science, pages 204-221, Springer, 2019. [doi]
@inproceedings{BasagiannisK19, title = {Formal Verification of Network Interlocking Control by Distributed Signal Boxes}, author = {Stylianos Basagiannis and Panagiotis Katsaros}, year = {2019}, doi = {10.1007/978-3-030-32872-6_14}, url = {https://doi.org/10.1007/978-3-030-32872-6_14}, researchr = {https://researchr.org/publication/BasagiannisK19}, cites = {0}, citedby = {0}, pages = {204-221}, booktitle = {Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings}, editor = {Yiannis Papadopoulos and Koorosh Aslansefat and Panagiotis Katsaros and Marco Bozzano}, volume = {11842}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-030-32872-6}, }