P. L. Pieraccini

According to our database, P. L. Pieraccini authored at least 1 paper in 1999.

Collaborative distances:

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

1999

Formal Specification and Validation of a Vital Communication Protocol.

Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita

Proceedings of the FM'99 - Formal Methods, 1999