Vol-4141⫷ Vol-4142 ⫸Vol-4143
urn:nbn:de:0074-4142-0


Vol-4142/paper4⫷Vol-4142/paper5⫸Vol-4142/paper6
José João FerreiraNuno PolicarpoJosé Fragoso SantosAlcino CunhaAlessandro Gianola

First-Order Linear Temporal Logic for Testing Distributed Protocols