M. Bergeron
Timeline
2002
0
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2002
The BNAI Analyzer: A Tool for Verifying Admissible Information Flow in Protocols.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002