Verification of Symbolic Distributed Protocols for Networked Embedded Devices.

Andrea Augello, Rosolino D'Antoni, Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri

Browse the full ETFA paper archive.