西比尔·弗罗斯科尔 因果关系、行为等效性和网络物理系统的安全性。 （英语） Zbl 1444.68041号 Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，为纪念Ernst-Rüdiger Olderog 60岁生日而举办的研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9360, 83-98 (2015).MSC公司：68平方米25 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{S.Fröschle}，勒克特。注释计算。科学。9360，83-98（2015年；兹bl 1444.68041） 全文： 内政部
文森特·雪瓦尔;维罗尼克·科尔蒂尔;德莱恩，斯特凡尼 使用约束求解确定基于等效的特性。 （英语） Zbl 1294.68111号 西奥。计算。科学。 492, 1-39 (2013).MSC公司：68问题85 68平方米 60年第68季度 94A60 PDF格式BibTeX公司 XML格式引用 \textit{V.Cheval}等人，Theor。计算。科学。492，1--39（2013年；Zbl 1294.68111） 全文： 内政部