Eugenio Roanes-Lozano, Antonio Hernando, José-Antonio Alonso, Luis M. Laita. A logic approach to decision taking in a railway interlocking system using Maple. Mathematics and Computers in Simulation, 82(1):15-28, 2011. [doi]
@article{Roanes-LozanoHAL11,
title = {A logic approach to decision taking in a railway interlocking system using Maple},
author = {Eugenio Roanes-Lozano and Antonio Hernando and José-Antonio Alonso and Luis M. Laita},
year = {2011},
doi = {10.1016/j.matcom.2010.05.024},
url = {http://dx.doi.org/10.1016/j.matcom.2010.05.024},
researchr = {https://researchr.org/publication/Roanes-LozanoHAL11},
cites = {0},
citedby = {0},
journal = {Mathematics and Computers in Simulation},
volume = {82},
number = {1},
pages = {15-28},
}