大卫·哈雷尔;意大利塞格尔 基于场景的规范的合成。 (英语) Zbl 1246.68095号 J.计算。系统。科学。 78,第3号,970-980(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}和\textit{I.Segall},J.Comput。系统。科学。78,第3号,970--980(2012;Zbl 1246.68095) 全文: 内政部
大卫·哈雷尔;毛兹,沙哈尔;意大利塞格尔 关于LSC表达能力和复杂性的一些结果。 (英语) Zbl 1133.68375号 Avron,Arnon(编辑)等人,《计算机科学的支柱》。在鲍里斯(波阿斯)·特拉赫滕布罗特85岁生日之际,为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-540-78126-4/pbk)。计算机科学课堂讲稿4800,351-366(2008)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}等人,Lect。注释计算。科学。4800、351--366(2008年;Zbl 1133.68375) 全文: 内政部