×

找到5个文档(结果1-5)

LTL模型检查的可处理性:好的、坏的和丑陋的片段。 (英语) Zbl 1347.68217号

Areces,Carlos(编辑)等人,《第五届模式方法研讨会论文集》(M4M5,2007年),法国卡尚,2007年11月29日至30日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记231277-292(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

CTL和CTL片段可满足性的复杂性。 (英语) Zbl 1186.68212号

发现的国际期刊。计算。科学。 2009年第5期第20期第901-918页; 勘误表同上26,第8号,1189-1190(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

CTL和(text{CTL}^*\)片段可满足性的复杂性。 (英语) Zbl 1337.68134号

Halava,Vesa(编辑)等人,计算模型可达性问题第二次研讨会论文集(RP 2008),英国利物浦,2008年9月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记223201-213(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段