乌里·法伦贝格；Legay、Axel；卡琳·夸斯 用定量游戏计算分支距离。 （英语） Zbl 1464.68239号 西奥。计算。科学。 847, 134-146 (2020).MSC公司：68问题85 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Theor。计算。科学。847134-146（2020年；Zbl 1464.68239） 全文： 内政部
乔瓦尼·巴奇；米克尔·汉森；金·古德斯特兰·拉森 不确定性下加权Kripke结构的验证。 （英语） Zbl 1514.68116号 McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11024, 71-86 (2018).MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，Lect。票据计算。科学。11024，71-86（2018；Zbl 1514.68116） 全文： 内政部 链接
乌里·法伦贝格；Legay、Axel 定量线性时间分支时间谱。 （英语） Zbl 1359.68191号 西奥。计算。科学。 538, 54-69 (2014).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay}，Theor。计算。科学。538、54-69（2014年；Zbl 1359.68191） 全文： 内政部
塞巴斯蒂安·鲍尔。；乌里·法伦贝格；Juhl，Line公司；Larsen，Kim G。；Legay、Axel；瑟兰，克劳斯 加权模态转换系统。 （英语） Zbl 1291.68246号 形式方法系统。设计。 42，第2期，193-220（2013）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人，《形式方法系统》。设计。42，第2号，193--220（2013；Zbl 1291.68246） 全文： 内政部 arXiv公司 哈尔
帕特里夏·鲍耶；Larsen，Kim G。；尼古拉斯·马基；奥坎·桑库尔；瑟兰，克劳斯 时间自动机总是可以实现的。 （英语） Zbl 1343.68134号 Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿690176-91（2011）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。票据计算。科学。6901,76--91（2011；Zbl 1343.68134） 全文： 内政部
Larsen，Kim G。；乌里·法伦贝格；瑟兰，克劳斯 加权转移系统的度量：公理化和复杂性。 （英语） Zbl 1216.68191号 西奥。计算。科学。 412，第28号，3358-3369（2011）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，Theor。计算。科学。412，编号28，3358-3369（2011年；兹bl 1216.68191） 全文： 内政部 哈尔