TLA+ to B-AST

Translator from TLA+ to ProB's AST representation.

'de.hhu.stups:tla2bAST:1.0.7'

<dependency>
	<groupId>de.hhu.stups</groupId>
	<artifactId>tla2bAST</artifactId>
	<version>1.0.7</version>
</dependency>

<dependency org="de.hhu.stups" name="tla2bAST" rev="1.0.7"/>

"de.hhu.stups", "tla2bAST", "1.0.7"

Dependencies