Jar t tla2bAST

Jar examples for t:tla2bAST

Description

Click the following links for the tutorial for t and tla2bAST.

  1. Download tla2bAST-1.0.8.jar file