Patricio Inzaghi Pronesti

According to our database, Patricio Inzaghi Pronesti authored at least 1 paper in 2022.

Collaborative distances:

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

2022

A Sequentialization Procedure for Fault-Tolerant Protocols.

Cezara Dragoi, Patricio Inzaghi Pronesti

Proceedings of the Verified Software. Theories, Tools and Experiments, 2022