Conference
Mahjong : A Generic Framework for Network Data Plane Verification
| Τίτλος: | Mahjong : A Generic Framework for Network Data Plane Verification |
|---|---|
| Συγγραφείς: | Li, Yifan, Jia, Chengjun, Hu, Xiaohe, Li, Jun |
| Πηγή: | Proceedings of the Symposium on Architectures for Networking and Communications Systems. :52-58 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3493425.3502755 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3493425.3502755 |
|---|