Download tlatools JAR file with all dependencies
tlatools from group de.hhu.stups (version 1.0.2)
Modified version of the TLA+ tools for usage in ProB
Artifact tlatools
Group de.hhu.stups
Version 1.0.2
Last update 24. February 2016
Organization not specified
URL https://github.com/hhu-stups/tlatools
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group de.hhu.stups
Version 1.0.2
Last update 24. February 2016
Organization not specified
URL https://github.com/hhu-stups/tlatools
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)