海因里希·奥迪;马丁·范策尔;迈克尔·汉森。 折扣工期计算。 （英语） Zbl 1427.68172号 Fitzgerald，John（编辑）等，FM 2016：形式方法。第21届国际研讨会，2016年11月9日至11日，塞浦路斯利马索尔。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。9995, 577-592 (2016).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛H.Ody｝等人，Lect。注释计算。科学。9995577-592（2016年；Zbl 1427.68172） 全文： 内政部
马丁·范策尔;迈克尔·汉森。;海因里希·奥迪 没必要认识很多邻居。实现MLSL的可实现解释。 （英语） Zbl 1444.68181号 Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。9360, 152-171 (2015).MSC公司：68T27型 68T20型 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，Lect。注释计算。科学。9360、152--171（2015年；Zbl 1444.68181） 全文： 内政部