安妮·凯瑟琳·施穆克;施奈德，斯文;约格·莱斯;乌韦·内斯特曼 确定性上下文无关规范语言的监控综合。以最不受限制的方式执行可控性。 （英语） Zbl 1332.93006号 离散事件动态。系统。 26，第1号，5-32（2016）.MSC公司：93甲13 65年第68季度 93英镑 PDF格式BibTeX公司 XML格式引用 \textit{A.-K.Schmuck}等人，离散事件动态。系统。26，第1号，第5--32号（2016；Zbl 1332.93006） 全文： 内政部
斯文·施奈德;乌韦·内斯特曼 使用过程计算对混合系统进行严格离散。 （英语） Zbl 1348.68109号 Fahrenberg，Uli（编辑）等人，定时系统的形式化建模和分析。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学讲义6919301-316（2011）。MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Schneider}和\textit{U.Nestmann}，莱克特。注释计算。科学。6919301-316（2011年；兹bl 1348.68109） 全文： 内政部