×

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

时间Petri网分支分析的状态类构造。 (英语) Zbl 1031.68082号

Garavel,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日,作为欧洲软件理论和实践联合会议的一部分,在波兰华沙举行的2003年第九届国际会议TACAS。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第2619、442-457页(2003年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

软件