LOTOS NT User's Manual
- Bibliographic reference:
Mihaela Sighireanu
with updates by Alban Catry, David Champelovier, Hubert Garavel,
Frédéric Lang, Guillaume Schaeffer, Wendelin Serwe, and Jan Stöcker
LOTOS NT User's Manual (Version 2.6)
Technical Report INRIA Rhône-Alpes/VASY
February 2008, 107 pages.
- Download the manual:
- For more information:
Back to the VASY Home Page
