Yutaka Takita, Masatake Miyabe, Hiroshi Tomonaga, Naoki Oguchi. Scalable Impact Range Detection against Newly Added Rules for Smart Network Verification. In 44th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2020, Madrid, Spain, July 13-17, 2020. pages 1471-1476, IEEE, 2020. [doi]
@inproceedings{TakitaMTO20,
title = {Scalable Impact Range Detection against Newly Added Rules for Smart Network Verification},
author = {Yutaka Takita and Masatake Miyabe and Hiroshi Tomonaga and Naoki Oguchi},
year = {2020},
doi = {10.1109/COMPSAC48688.2020.00-47},
url = {https://doi.org/10.1109/COMPSAC48688.2020.00-47},
researchr = {https://researchr.org/publication/TakitaMTO20},
cites = {0},
citedby = {0},
pages = {1471-1476},
booktitle = {44th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2020, Madrid, Spain, July 13-17, 2020},
publisher = {IEEE},
isbn = {978-1-7281-7303-0},
}