M. Bergeron

According to our database, M. Bergeron authored at least 1 paper in 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2002

The BNAI Analyzer: A Tool for Verifying Admissible Information Flow in Protocols.

Gaétan Hains, M. Bergeron

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002