库尔特·延森;Kristensen,Lars M。;托马斯·梅隆德 扫线状态空间探索方法。 (英语) Zbl 1238.68085号 西奥。计算。科学。 429, 169-179 (2012).MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Jensen}等人,Theor。计算。科学。429169--179(2012年;Zbl 1238.68085) 全文: 内政部
沃伊切赫·彭泽克;阿加塔·波罗拉 时间Petri网和时间自动机验证的进展。时间逻辑方法。 (英语) Zbl 1110.68087号 计算智能研究20.柏林:施普林格出版社(ISBN 3-540-32869-6/hbk)。xxxii,257页。(2006年)。 审核人:Ryszard Janicki(汉密尔顿) MSC公司:68问题85 65年第68季度 第68季度第60季度 03B44号 68号30 68-02 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}和\textit{A.Półrola},时间Petri网和时间自动机验证的进展。时间逻辑方法。柏林:施普林格出版社(2006;Zbl 1110.68087) 全文: 内政部