zbMATH中的参考文献(引用于,2标准条款)

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

  1. Alpernas,Kalev;Panda,Aurojit;Rabinovich,Alexander;Sagiv,Mooly;Shenker,Scott;Shoham,Sharon;Velner,Yaron:状态网络验证的一些复杂性结果(2019年)
  2. Kappé,Tobias;Brunet,Paul;Luttik,Bas;Silva,Alexandra;Zanasi,Fabio:论串并行词组语言:理性、上下文无关性和自动机(2019)
  3. Diekmann,Cornelius;Hupel,Lars;Michaelis,Julius;Haslbeck,Maximilian;Carle,Georg:验证的iptables防火墙分析和验证(2018)
  4. 《绯闻制造者》杂志(2018年,Maltextan,Maltextan;动态分析)
  5. Mamouras,Konstantinos:基于Kleene代数的异常终止方程理论(2017)
  6. Foster,Nate;Kozen,Dexter;Mamouras,Konstantinos;Reitblatt,Mark;Silva,Alexandra:概率网络(2016)
  7. Mamouras,Konstantinos:确定性和非确定性一元递归方案的霍尔逻辑(2016)
  8. 蒂曼,彼得(编辑):编程语言与系统。第25届欧洲编程研讨会,ESOP 2016,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2016,荷兰埃因霍温,2016年4月2日至8日。诉讼(2016)
  9. Uramoto,Takeo:Kleene代数的标准有限模型及其检验(2016)
  10. 斯莫尔卡,斯特芬;埃利奥普洛斯,斯皮里登;福斯特,奈特;古哈,阿琼:NetKAT的快速编译器(2015)
  11. Traytel,Dmitriy:WS1S的煤炭决策程序(2015)
  12. -:第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL'14
  13. Anderson,Carolyn Jane;Foster,Nate;Guha,Arjun;Jeannin,Jean-Baptiste;Kozen,Dexter;Schlesinger,Cole;Walker,David:Netkat,《网络语义基础》(2014)
  14. 加里格,雅克(编辑):程序设计语言与系统。第12届亚洲研讨会,APLAS 2014,新加坡,新加坡,2014年11月17日至19日,会议记录(2014年)
  15. 彼得·霍夫纳(Peter Höfner);安纳贝尔(Annabelle)麦克伊弗(McIver),安纳贝尔(Annabelle):跳房子——一步一步地达到目标(2014年)
  16. Kozen,Dexter:NetKAT——网络验证的正式系统(2014)