Verification of railway network models with EVEREST.

Joo Martins, Jos M. Fonseca, Rafael Costa, Jos Creissac Campos, Alcino Cunha, Nuno Macedo, Jos N. Oliveira

Browse the full MODELS paper archive.