M. Bergeron

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Gaétan Hains, M. Bergeron
The BNAI Analyzer: A Tool for Verifying Admissible Information Flow in Protocols. IASTED PDCS (2002)