Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache. On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress). In 19th IEEE International Symposium on Network Computing and Applications, NCA 2020, Cambridge, MA, USA, November 24-27, 2020. pages 1-3, IEEE, 2020. [doi]
@inproceedings{PetersenLKPZ20,
title = {On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress)},
author = {Erick Petersen and Jorge López and Natalia Kushik and Claude Poletti and Djamal Zeghlache},
year = {2020},
doi = {10.1109/NCA51143.2020.9306731},
url = {https://doi.org/10.1109/NCA51143.2020.9306731},
researchr = {https://researchr.org/publication/PetersenLKPZ20},
cites = {0},
citedby = {0},
pages = {1-3},
booktitle = {19th IEEE International Symposium on Network Computing and Applications, NCA 2020, Cambridge, MA, USA, November 24-27, 2020},
publisher = {IEEE},
isbn = {978-1-7281-8326-8},
}