Nicolas Magnier

According to our database, Nicolas Magnier authored at least 1 paper in 1998.

Collaborative distances:

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

1998

Factotum: Automatic and Systematic Sharing Support for Systems Analyzers.

David James Sherman, Nicolas Magnier

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998