UPPAAL
Uppaal Stratego 11 Released #177
yrke
announced in
Announcements
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
We are happy to announce a brand new release of UPPAAL Stratego 11.
The update contains lots of bug fixes and improvements and we recommend everyone to update.
The latast version of stratego can be downloaded here: https://uppaal.org/changelog/#uppaal-stratego
Beta Was this translation helpful? Give feedback.
All reactions