×

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

扩展用于分支时间模型检查的协同逻辑程序。 (英语) Zbl 1453.68034号

Gupta,Gopal(编辑)等,基于逻辑的程序合成和转换。2013年9月18日至19日在西班牙马德里举行的2013年LOPSTR第23届国际研讨会。修改选定的论文。查姆:施普林格。莱克特。注释计算。科学。8901, 127-144 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份