Volume: Vol-4142 OVERLAY 2025 | Year: 2025

Paper: « paper4 | paper5 | paper6 »

First-Order Linear Temporal Logic for Testing Distributed Protocols

• José João Ferreira
• Nuno Policarpo
• José Fragoso Santos
• Alcino Cunha
• Alessandro Gianola

41-48 PDF