=Paper=
{{Paper
|id=Vol-4142/paper5
|storemode=property
|title=First-Order Linear Temporal Logic for Testing Distributed Protocols
|pdfUrl=https://ceur-ws.org/Vol-4142/paper5.pdf
|volume=Vol-4142
|authors=José João Ferreira,Nuno Policarpo,José Fragoso Santos,Alcino Cunha,Alessandro Gianola
}}
==First-Order Linear Temporal Logic for Testing Distributed Protocols==
<pdf width="1500px">https://ceur-ws.org/Vol-4142/paper5.pdf</pdf>
<pre>
None
</pre>