/es-minilab1-uppaal

a timed automata for a smart home

No issues in this repository yet.