诺尔，托马斯;拉尔斯·奥克·弗雷德隆德;古罗夫，帝力 Erlang验证工具。 （英语） Zbl 0978.68703号 Margaria，Tiziana（编辑）等，系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2031, 582-585 (2001). 关于整个系列，请参见[Zbl 0960.00058号]. 引用于三文件 MSC公司： 68单位99 计算方法和应用 60年第68季度 规范和验证（程序逻辑、模型检查等） 68甲18 函数编程和lambda演算 68甲15 编程语言理论 软件：电动汽车 PDF格式BibTeX公司 XML格式引用 \textit{T.Noll}等人，Lect。注释计算。科学。2031，582--585（2001；Zbl 0978.68703） 全文： 链接