Pablo Argón

According to our database, Pablo Argón authored at least 1 paper in 2001.

Collaborative distances:

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

2001

Model Checking Communication Protocols.

Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski

Proceedings of the SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24, 2001