TITLE     : Modelling, verifying and testing the contract automata runtime environment with Uppaal: complementary data
AUTHOR(S) : Basile D
TYPE      : Software
YEAR      : 2023
CODE      : 487369

*** DO NOT EDIT THIS FILE ***