迈克尔·汉森。;潘安敦;布雷克林（Aske W.Brekling）。 使用Presburger算法对持续时间演算进行模型检查的实用方法。 （英语） Zbl 1315.68180号 安。数学。工件。智力。 71，编号1-3，251-278（2014）.MSC公司：60年第68季度 03B44号 03B70号 30楼03号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Hansen}等人，《数学年鉴》。工件。智力。71，编号1--3，251--278（2014；Zbl 1315.68180） 全文： 内政部
萨瓦斯·科努尔 用于指定和验证实时系统的时序逻辑调查。 （英语） Zbl 1425.68258号 前面。计算。科学。 第370-403号第7页（2013年）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Konur}，前面。计算。科学。7，编号3，370--403（2013年；兹bl 1425.68258） 全文： 内政部
黛拉·莫妮卡，达里奥;瓦伦丁·戈兰科;圭多·西亚维科 带有区间长度绑定器的混合度量命题邻域逻辑。 （英语） Zbl 1260.03040号 Bolander，T.（ed.）等人，2010年混合逻辑和应用国际研讨会（HyLo，2010）。2010年7月10日，英国爱丁堡，研讨会的后期制作。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记273，3-19（2011）。MSC公司：03B45 03B25号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人，电子。注释Theor。计算。科学。273、3--19（2011年；Zbl 1260.03040） 全文： 内政部
马丁·范策尔;马尼省斯瓦米纳坦 重温多值时间自动机的可判定性和最优可达性。 （英语） Zbl 1262.68090号 Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813，149-163（2009）。MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}和\textit{M.Swaminathan}，莱克特。注释计算。科学。5813、149--163（2009年；Zbl 1262.68090） 全文： 内政部
张苗苗;Hung，Dang Van公司;刘志明 通过模型检查CTL属性验证线性持续不变量。 （英语） Zbl 1161.68595号 Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160395-409（2008）。MSC公司：60年第68季度 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Zhang}等人，Lect。注释计算。科学。5160395--409（2008年；Zbl 1161.68595） 全文： 内政部
罗兰·梅耶;约翰·费伯;Jochen Hoenicke公司;安德烈·里巴尔琴科 模型检查持续时间演算：一种实用方法。 （英语） Zbl 1151.68487号 正式Asp。计算。 20，编号4-5，481-505（2008）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Meyer}等人，《正式Asp》。计算。20，编号4--5，481--505（2008；Zbl 1151.68487） 全文： 内政部