TITLE     : Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker
AUTHOR(S) : Basile D, Fantechi A, Rucher L, Mandò G
TYPE      : Journal article
YEAR      : 2021
CODE      : 456085

*** DO NOT EDIT THIS FILE ***