Davide Benetti

According to our database, Davide Benetti authored at least 1 paper in 2010.

Collaborative distances:

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

2010

Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA.

Davide Benetti, Massimo Merro, Luca Viganò

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010