The latest version can be downloaded from: http://tla.mpi.nl/tools/tla-tools/vicos/
This manual was last updated in June 2010
Original Author: Konrad Rybka
Note: Some parts of the manual are incomplete because the tool is still in development.
Table of Contents