瞧,大卫;拉马林加姆,G。;文卡特斯·普拉萨德·兰加纳思;卡皮尔·瓦斯瓦尼 挖掘量化的时间规则:形式主义、算法和评估。 (英语) Zbl 1243.68151号 科学。计算。程序。 77,第6期,743-759(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lo}等人,科学。计算。程序。77,第6号,743--759(2012;Zbl 1243.68151) 全文: 内政部
拉马林加姆,G。(编辑);埃尔科·维瑟(编辑) 特刊:部分评估和项目操作(PEPM 2007)。根据2007年1月在法国尼斯举行的ACM SIGPLAN 2007年研讨会上的演示文稿选出的论文。 (英语) Zbl 1215.68022号 科学。计算。程序。76,第6期,467-537(2011)。 MSC公司:68-06 68甲15 68甲19 00B25型 PDF格式BibTeX公司 XML格式
J·菲尔德。;戈亚尔,D。;拉马林加姆,G。;E.雅哈夫。 类型状态验证:抽象技术和复杂性结果。 (英语) Zbl 1088.68066号 科学。计算。程序。 58,编号1-2,57-82(2005).MSC公司:2015年第68季度 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Field}等人,科学。计算。程序。58,编号1--2,57-82(2005;Zbl 1088.68066) 全文: 内政部