×

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

时间自动机和数字电路中延迟的离散化。 (英语) Zbl 0933.94045号

Sangiorgi,Davide(编辑)等人,CONCUR’98。并发理论。第九届国际会议,法国尼斯,1998年9月8日至11日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1466, 470-484 (1998).
MSC公司:94立方厘米
PDF格式BibTeX公司 XML格式引用

任务资源模型和((max,+))自动机。 (英语) Zbl 0896.68097号

Jeremy Gunawardena(编辑),Idempotency。基于研讨会,英国布里斯托尔,1994年10月3日至7日,剑桥:剑桥大学出版社。133-144 (1998).
MSC公司:70年第68季度
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

主字段