This is the Uppaal Stratego model published at FORTE2020 https://link.springer.com/chapter/10.1007%2F978-3-030-50086-3_1
davidebasile / forte2020 Goto Github PK
View Code? Open in Web Editor NEWThis is the Uppaal Stratego model published at FORTE2020