Network Verification with Streaming Computation

Download
Full text (PDF, 1.423Mb)
Thumbnail
Open access
Author
Maret, Basile
Date
2018-04
Type
    Master Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000258246
Publication status
published
Contributors
Examiner: Dimitrova, Desislava
Examiner: Kalavri, Vasiliki
Examiner: Roscoe, Timothy
Publisher
ETH Zurich
Organisational unit
03757 - Roscoe, Timothy / Roscoe, Timothy  
More
Show all metadata
ETH Bibliography
yes
Altmetrics