TITLE     : Analysing an autonomous tramway positioning system with the Uppaal statistical model checker - Complementary data
AUTHOR(S) : Basile D
TYPE      : Software
YEAR      : 2021
CODE      : 485295

*** DO NOT EDIT THIS FILE ***