Enrico Locatelli

According to our database, Enrico Locatelli authored at least 1 paper in 2003.

Collaborative distances:

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

2003

A Simple Language for Real-Time Cryptographic Protocol Analysis.

Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli

Proceedings of the Programming Languages and Systems, 2003