![](/img/cover-not-exists.png)
[IEEE 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Vienna, Austria (2020.9.8-2020.9.11)] 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Verification of Symbolic Distributed Protocols for Networked Embedded Devices
Augello, Andrea, D'Antoni, Rosolino, Gaglio, Salvatore, Re, Giuseppe Lo, Martorella, Gloria, Peri, DanieleYear:
2020
DOI:
10.1109/ETFA46521.2020.9212134
File:
PDF, 253 KB
2020