Yuxin Deng, Min Zhang 0002, Guoqing Lei. An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics. In Zhenhua Duan, Luke Ong, editors, Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Volume 10610 of Lecture Notes in Computer Science, pages 464-480, Springer, 2017. [doi]
@inproceedings{DengZL17-0,
title = {An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics},
author = {Yuxin Deng and Min Zhang 0002 and Guoqing Lei},
year = {2017},
doi = {10.1007/978-3-319-68690-5_28},
url = {https://doi.org/10.1007/978-3-319-68690-5_28},
researchr = {https://researchr.org/publication/DengZL17-0},
cites = {0},
citedby = {0},
pages = {464-480},
booktitle = {Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings},
editor = {Zhenhua Duan and Luke Ong},
volume = {10610},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-68690-5},
}