David de Frutos-Escrig

Formal Techniques for Networked and Distributed Systems - FORTE 2004