See at: github.com | CNR ExploRA
See at:
hal.inria.fr | ISTI Repository
| doi.org
| Hyper Article en Ligne
| link.springer.com
| CNR ExploRA
See at:
ISTI Repository | CNR ExploRA
See at:
Logical Methods in Computer Science | Logical Methods in Computer Science
| lmcs.episciences.org
| CNR ExploRA
See at:
ISTI Repository | CNR ExploRA
See at:
Flore (Florence Research Repository) | ISTI Repository
| Journal of Rail Transport Planning & Management
| www.sciencedirect.com
| CNR ExploRA
See at:
ISTI Repository | doi.org
| link.springer.com
| CNR ExploRA
See at:
Journal of Logical and Algebraic Methods in Programming | Flore (Florence Research Repository)
| CNR ExploRA
See at: github.com | CNR ExploRA