让·古鲍特·拉雷克;Jean-Philippe Lachance 关于Orchids签名监测的复杂性,以及递归方程。 (英语) Zbl 1394.68180号 形式方法系统。设计。 53,第1号,6-32(2018).MSC公司:65年第68季度 2016年1月5日 68卢比 60年第68季度 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.Goubault-Larrecq}和\textit{J.-P.Lachance},形式方法系统。设计。53,第1号,第6--32号(2018;Zbl 1394.68180) 全文: 内政部 哈尔
安东·威伊斯;Joost-Pieter卡托恩;博什纳奇·德拉甘 用于将图并行分解为强连接和最大末端分量的高效GPU算法。 (英语) Zbl 1404.68204号 形式方法系统。设计。 48,第3号,274-300(2016).MSC公司:68宽10 05C40号 05C85号 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Wijs}等人,《形式方法系统》。设计。48,第3号,274--300(2016;Zbl 1404.68204) 全文: 内政部