zbMATH中的参考文献(参考文献20条,2标准条款)

显示第1到第20个结果,共20个。
按年份排序(引用)

  1. 艾伯特,艾薇拉;Gómez zamalola,米格尔;伊莎贝尔,米格尔;鲁比奥,阿尔伯特;萨马蒂诺,马特奥;Silva,Alexandra:软件定义网络的基于角色的模型检查(2021)
  2. 辛格,贾格迪普;Behal,Sunny:SDN中DDoS攻击的检测和缓解:全面回顾、研究挑战和未来方向(2020年)
  3. 阿尔卑斯,卡列夫;熊猫、金牛;拉比诺维奇,亚历山大;射手座,情绪低落;史考特,申克;肖汉,莎伦;Velner,Yaron:状态网络验证的一些复杂性结果(2019)
  4. 卡普,托比亚斯;深色的,保罗;巴斯卢提克;席尔瓦,亚历山德拉;Zanasi,Fabio:串并行pomset语言:理性、上下文无关性和自动机(2019)
  5. 迪克曼,科尼利厄斯;赫尔,拉尔斯;米迦利斯,朱利叶斯;哈斯贝克,马克西米利安;Carle,Georg:验证的iptables防火墙分析和验证(2018)
  6. 加廷格,马尔文;Jana Wagemaker:走向网络动态八卦分析(2018)
  7. Kahn,David M.:概率网络规划的不可判定问题(2017)
  8. 卡普,托比亚斯;深色的,保罗;巴斯卢提克;席尔瓦,亚历山德拉;Zanasi,Fabio:Brzozowski并发——pomset语言的Kleene定理(2017)
  9. Mamouras,Konstantinos:基于Kleene代数的异常终止方程理论(2017)
  10. 福斯特,奈特;德克斯特,科赞;马穆拉斯、康斯坦丁诺斯;瑞特布拉特,马克;《概率论》(Alexandra,2016)
  11. Mamouras,Konstantinos:确定性和非确定性一元递归方案的霍尔逻辑(2016)
  12. 蒂曼,彼得(编辑):编程语言与系统。第25届欧洲编程研讨会,ESOP 2016,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2016,荷兰埃因霍温,2016年4月2日至8日。会议记录(2016年)
  13. Uramoto,Takeo:Kleene代数的标准有限模型及其检验(2016)
  14. 斯莫卡,斯特芬;艾略普洛斯,螺旋藻;福斯特,奈特;Guha,Arjun:NetKAT的快速编译器(2015)
  15. Traytel,Dmitriy:WS1S的煤炭决策程序(2015)
  16. -:第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL'14
  17. 安德森,卡罗琳简;福斯特,奈特;古哈,阿君;珍妮,让巴蒂斯特;德克斯特,科赞;科尔·施莱辛格;Walker,David:Netkat,《网络语义基础》(2014)
  18. 加里格,雅克(编辑):程序设计语言与系统。第12届亚洲研讨会,APLAS 2014,新加坡,新加坡,2014年11月17日至19日,会议记录(2014年)
  19. 霍夫纳,彼得;McIver,Annabelle:Hopscotch——逐跳达到目标(2014)
  20. Kozen,Dexter:NetKAT——网络验证的正式系统(2014)