加尔阿姆拉姆;毛兹,沙哈尔;活塞,或 GR(1)*:通过存在保证扩展的GR(一)规范。 (英语) Zbl 1519.68129号 正式Asp。计算。 33,编号4-5,729-761(2021).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Amram}等人,正式Asp。计算。33,编号4--5,729--761(2021;Zbl 1519.68129) 全文: 内政部 OA许可证
Sidi O.Ehmety。;劳伦斯·C·鲍尔森。 并发系统的机械化组合推理:一些经验教训。 (英语) Zbl 1101.68619号 正式Asp。计算。 17,第1号,58-68(2005).MSC公司:68问题32 PDF格式BibTeX公司 XML格式引用 \textit{S.O.Ehmety}和\textit{L.C.Paulson},正式Asp。计算。17、第1号、第58--68号(2005;Zbl 1101.68619) 全文: 内政部