License |
License |
---|---|
GroupId | GroupIdde.hhu.stups |
ArtifactId | ArtifactIdtla2bAST |
Version | Version1.1.4 |
Type | Typepom.sha512 |
Description |
DescriptionTLA+ to B-AST
Translator from TLA+ to ProB's AST representation.
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
tla2bAST-1.1.4.pom | |
tla2bAST-1.1.4-sources.jar | 97 KB |
tla2bAST-1.1.4-javadoc.jar | 719 KB |
Browse |
Group / Artifact | Type | Version |
---|---|---|
de.hhu.stups : tlatools | jar | 1.0.2 |
de.hhu.stups : prologlib | jar | 2.9.27 |
de.hhu.stups : bparser | jar | 2.9.27 |
Group / Artifact | Type | Version |
---|---|---|
commons-cli : commons-cli | jar | 1.4 |