Author:
Jensen Peter Gjøl,Schmid Stefan,Schou Morten Konggaard,Srba Jiří,Vanerio Juan,Duijn Ingo van
Publisher
Springer International Publishing
Reference20 articles.
1. Anderson, C.J., et al.: NetKAT: semantic foundations for networks. In: POPL 2014, pp. 113–126. ACM (2014)
2. Beckett, R., Mahajan, R., Millstein, T., Padhye, J., Walker, D.: Don’t mind the gap: bridging network-wide objectives and device-level configurations. In: ACM SIGCOMM 2016, pp. 328–341. ACM (2016)
3. Lecture Notes in Computer Science;A Bouajjani,1997
4. Büchi, J.R.: Regular canonical systems. Archiv für mathematische Logik und Grundlagenforschung 6(3–4), 91–111 (1964)
5. Lecture Notes in Computer Science;E Clarke,2000
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献