Gianluigi Ferro

According to our database, Gianluigi Ferro authored at least 1 paper in 1997.

Collaborative distances:

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

1997

An Automated Based Verification Environment for Mobile Processes.

Gian-Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori

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