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

*** DO NOT EDIT THIS FILE ***