The latest version can be found at: http://tla.mpi.nl/tools/tla-tools/lexus/
This manual was last updated in June 2012
Author: Katarzyna Wojtylak
LEXUS Version 3.0
Table of Contents