赫利亚·格拉;JoséFélix科斯塔 具有无限活力要求的流程。 (英语) Zbl 1510.68058号 J.日志。代数。程序。 82,编号3-4,137-161(2013).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{H.Guerra}和\textit{J.F.Costa},J.Log。代数。程序。82,编号3--4,137-161(2013;Zbl 1510.68058) 全文: 内政部
杰拉尔德·吕特根;沃尔特·福格勒 使用逻辑LTS进行安全推理。 (英语) 兹比尔1216.68193 西奥。计算。科学。 412,第28号,3337-3357(2011).MSC公司:68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler},Theor。计算。科学。412,第28号,3337-3357(2011;Zbl 1216.68193) 全文: 内政部
杰拉尔德·吕特根;沃尔特·福格勒 使用逻辑LTS进行安全推理。 (英语) Zbl 1206.68189号 尼尔森,莫根斯(编辑)等人,《SOFSEM 2009:计算机科学的理论与实践》。2009年1月24日至30日,第35届计算机科学理论与实践当前趋势会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-95890-1/pbk)。计算机科学课堂讲稿5404,376-387(2009)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler},莱克特。注释计算。科学。5404376-387(2009年;兹比尔1206.68189) 全文: 内政部