BACK TO INDEX

Manuals, booklets

2006

  1. Y. Glouche and T. Genet. SPAN -- A Security Protocol ANimator for AVISPA -- User Manual. IRISA / Université de Rennes 1, 2006. [WWW] [bibtex-entry]


2003

  1. T. Genet. Timbuk 2.0 -- A Tree Automata Library -- Reference Manual and Tutorial. 2003. Note: 81 pages. [WWW] [bibtex-entry]



BACK TO INDEX

This document was translated from BibTEX by bibtex2html