TITLE     : A team automaton scenario for the analysis of security properties of communication protocols
AUTHOR(S) : Ter Beek M.  H., Lenzini G., Petrocchi M.
TYPE      : Journal article
YEAR      : 2006
CODE      : 178148

*** DO NOT EDIT THIS FILE ***