Chen, Haoxian, Wu, Chenyuan, Zhao, Andrew, Raghothaman, Mukund, Naik, Mayur, and Loo, Boon Thau. Synthesizing Formal Network Specifications From Input-Output Examples. Retrieved from https://par.nsf.gov/biblio/10428229. IEEE/ACM Transactions on Networking 31.3 Web. doi:10.1109/TNET.2022.3208551.

Chen, Haoxian, Wu, Chenyuan, Zhao, Andrew, Raghothaman, Mukund, Naik, Mayur, & Loo, Boon Thau. Synthesizing Formal Network Specifications From Input-Output Examples. IEEE/ACM Transactions on Networking, 31 (3). Retrieved from https://par.nsf.gov/biblio/10428229. https://doi.org/10.1109/TNET.2022.3208551

Chen, Haoxian, Wu, Chenyuan, Zhao, Andrew, Raghothaman, Mukund, Naik, Mayur, and Loo, Boon Thau. "Synthesizing Formal Network Specifications From Input-Output Examples". IEEE/ACM Transactions on Networking 31 (3). Country unknown/Code not available. https://doi.org/10.1109/TNET.2022.3208551. https://par.nsf.gov/biblio/10428229.

@article{osti_10428229,
place = {Country unknown/Code not available}, title = {Synthesizing Formal Network Specifications From Input-Output Examples}, url = {https://par.nsf.gov/biblio/10428229}, DOI = {10.1109/TNET.2022.3208551}, abstractNote = {}, journal = {IEEE/ACM Transactions on Networking}, volume = {31}, number = {3}, author = {Chen, Haoxian and Wu, Chenyuan and Zhao, Andrew and Raghothaman, Mukund and Naik, Mayur and Loo, Boon Thau}, }