The latest version can be downloaded from http://tla.mpi.nl/tools/tla-tools/kinoath
This manual was last updated in July 2013
Francesca Bechis
Table of Contents