A logic approach to decision taking in a railway interlocking system using Maple
- Roanes-Lozano, E.
- Hernando, A.
- Alonso, J.A.
- Laita, L.M.
ISSN: 0378-4754
Année de publication: 2011
Volumen: 82
Número: 1
Pages: 15-28
Type: Communication dans un congrès