×

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

基于ODE的生物通道模型的自动属性合成。 (英语) Zbl 1416.92067号

Feret,Jéróme(编辑)等人,《系统生物学中的计算方法》。第15届国际会议,CMSB 2017,德国达姆施塔特,2017年9月27日至29日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10545, 265-282 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

线性时间时序逻辑的分布式版本:跟踪透视图。 (英语) Zbl 0934.03025号

Reisig,Wolfgang(编辑)等人,《Petri网讲座》。1:基本模型。Petri网的进展。柏林:斯普林格。莱克特。注释计算。科学。1491, 643-681 (1998).
PDF格式BibTeX公司 XML格式引用

Mazurkiewicz迹上的线性时间时序逻辑。 (英语) Zbl 0886.03017号

Penczek,Wojciech(编辑)等人,《计算机科学的数学基础》,1996年。1996年9月2日至6日,第21届国际研讨会,MFCS’96,波兰克拉科夫。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第1113、62-92页(1996年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段