This is the Uppaal Stratego model published at FORTE2020
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool