Hongkun Yang, Simon S. Lam. Scalable Verification of Networks With Packet Transformers Using Atomic Predicates. IEEE/ACM Trans. Netw., 25(5):2900-2915, 2017. [doi]
@article{YangL17-24, title = {Scalable Verification of Networks With Packet Transformers Using Atomic Predicates}, author = {Hongkun Yang and Simon S. Lam}, year = {2017}, doi = {10.1109/TNET.2017.2720172}, url = {http://doi.ieeecomputersociety.org/10.1109/TNET.2017.2720172}, researchr = {https://researchr.org/publication/YangL17-24}, cites = {0}, citedby = {0}, journal = {IEEE/ACM Trans. Netw.}, volume = {25}, number = {5}, pages = {2900-2915}, }