[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Deductive Verification of Distributed Protocols in First-Order Logic
Padon, OdedYear:
2018
DOI:
10.23919/FMCAD.2018.8603010
File:
PDF, 6 KB
2018