最好的,艾克;雷蒙德·魔鬼队 T系统的状态空间公理。 (英语) Zbl 1317.68129号 学报信息。 52,编号2-3,133-152(2015). 审核人:Jörg Desel(哈根) MSC公司:68问题85 2010年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}和\textit{R.Devillers},《学报》第52期,第2--3133-152号(2015;Zbl 1317.68129) 全文: DOI程序
最好的,艾克;雷蒙德·魔鬼队;马西耶·库特尼 Petri网代数。 (英语) Zbl 0968.68110号 理论计算机科学专著。EATCS系列柏林:施普林格。380 p.89.00德国马克;öS 650.00;sFr 78.50;£30.50; $ 49.95(2000年)。 审核人:霍斯特·穆勒(爱尔兰根) MSC公司:68问题85 2010年第68季度 60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人,Petri网代数。柏林:施普林格出版社(2000;Zbl 0968.68110)
雷蒙德·魔鬼队 最大值保持互模拟。 (英语) Zbl 0780.68036号 西奥。计算。科学。 102,第1期,165-183(1992).MSC公司:2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers},Theor(西奥)。计算。科学。102,第1号,165--183(1992;Zbl 0780.68036) 全文: DOI程序