Deadlock Avoidance in Train Scheduling: A Model Checking Approach
| Imagen |  |
|---|---|
| Descripción | artículo científico publicado en 2014 |
| Autoría |
autor: Franco Mazzanti Giorgio Oronzo Spagnolo Alessio Ferrari |
| Fecha de publicación | 2014 |
| Idioma | inglés |
| País de origen | |
| Enlace a Wikipedia | |
| Estatus de derecho de autor | Desconocido |
| ¿Datos faltantes/errados? | Editar ítem de Wikidata |