Matei Popovici. Verifying large-scale networks using NetCheck. In 2017 European Conference on Networks and Communications, EuCNC 2017, Oulu, Finland, June 12-15, 2017. pages 1-5, IEEE, 2017. [doi]
@inproceedings{Popovici17-0,
title = {Verifying large-scale networks using NetCheck},
author = {Matei Popovici},
year = {2017},
doi = {10.1109/EuCNC.2017.7980647},
url = {https://doi.org/10.1109/EuCNC.2017.7980647},
researchr = {https://researchr.org/publication/Popovici17-0},
cites = {0},
citedby = {0},
pages = {1-5},
booktitle = {2017 European Conference on Networks and Communications, EuCNC 2017, Oulu, Finland, June 12-15, 2017},
publisher = {IEEE},
isbn = {978-1-5386-3873-6},
}