亚瑟·Mę滑雪;沃伊切赫·彭泽克;Grzegorz罗岑贝格 模型检查反应系统的时间特性。 (英语) Zbl 1387.68167号 信息科学。 313, 22-42 (2015).MSC公司:60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Męski}等人,《信息科学》。313、22-42(2015年;Zbl 1387.68167) 全文: 内政部
汉斯·约尔格·克鲁斯基;格列泽戈兹·罗森贝格 关于结构化图文法。二、。 (英语) 兹比尔0725.68063 信息科学。 52,第3期,221-246(1990).MSC公司:2012年第68季度 68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}和\textit{G.Rozenberg},《信息科学》。52,第3号,221--246(1990;Zbl 0725.68063) 全文: 内政部
汉斯·约尔格·克鲁斯基;格列泽戈兹·罗森贝格 关于结构化图文法。一、。 (英语) Zbl 0716.68056号 信息科学。 52,第2期,185-210(1990). 审核人:G.鲍恩 MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}和\textit{G.Rozenberg},《信息科学》。52,第2号,185--210(1990;Zbl 0716.68056) 全文: 内政部
密尔斯曼,R。;G.罗森伯格。 两级元控制替换语法中的并行性和同步性。 (英语) Zbl 0443.68054号 信息科学。 18, 67-82 (1979).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Meersman}和\textit{G.Rozenberg},信息科学。18、67-82(1979年;Zbl 0443.68054) 全文: 内政部