Graph- versus Vector-Based Analysis of a Consensus Protocol
- Giorgio Delzanno
- , Arend Rensink
- , Riccardo Traverso
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1
Link opens in a new tab
Citation
(Scopus)
205
Downloads
(Pure)