迪迪埃·科卡尔 一种判定无状态DPDA等价性的快速算法。 (英语) Zbl 0778.68051号 RAIRO,通知。塞奥尔。申请。 27,第1期,23-48(1993).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Caucal},RAIRO,通知。塞奥尔。申请。27,编号1,23--48(1993;Zbl 0778.68051) 全文: 内政部 欧洲DML
A.马西尼。;Maggiolo-Schettini,A。 TTL:描述分布式系统的局部和全局属性的形式主义。 (英语) Zbl 0766.68035号 RAIRO,通知。塞奥尔。申请。 第2115-149号第26页(1992年).MSC公司:2010年第68季度 03B45 PDF格式BibTeX公司 XML格式引用 \textit{A.Masini}和\textit{A.Maggiolo-Schettini},RAIRO,通知。塞奥尔。申请。26,No.2,115--149(1992;Zbl 0766.68035) 全文: 内政部 欧洲DML
梅里,多米尼克 Méthode公理主义为计划带来了灾难。 (法语) Zbl 0623.68027号 RAIRO,Inf.Théor公司。申请。 21, 287-322 (1987).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Mery},RAIRO,通知。塞奥尔。申请。21287--322(1987年;Zbl 0623.68027) 全文: 内政部 欧洲DML