桑迪·巴拉格;托马斯·查泰恩 避免时间自动机网络中的共享时钟。 (英语) Zbl 1314.68196号 日志。方法计算。科学。 9,第4号,第13号文件,第26页(2013年).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Balaguer}和\textit{T.Chatain},Log。方法计算。科学。9,第4期,第13号论文,26页(2013;Zbl 1314.68196) 全文: 内政部 arXiv公司
桑迪·巴拉格;托马斯·查泰恩;斯特凡·哈尔 从时间Petri网到时间自动机网络的保并发转换。 (英语) 兹比尔1252.68200 表格方法系统。设计。 40,第3号,330-355(2012). 审核人:Jörg Desel(哈根) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Balaguer}等人,《形式方法系统》。设计。40,第3号,330-355(2012;Zbl 1252.68200) 全文: 内政部 链接
桑迪·巴拉格;托马斯·查泰恩 避免时间自动机网络中的共享时钟。 (英语) Zbl 1364.68274号 Koutny,Maciej(编辑)等,CONCUR 2012–并发理论。第23届国际会议,2012年CONCUR,英国泰恩河畔纽卡斯尔,2012年9月4-7日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32939-5/pbk)。计算机科学课堂讲稿7454,100-114(2012)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Balaguer}和\textit{T.Chatain},莱克特。注释计算。科学。7454,100-114(2012;Zbl 1364.68274) 全文: 内政部 arXiv公司
埃蒂安·安德烈;托马斯·查泰恩;劳伦·弗里堡;埃曼纽尔·恩克雷纳兹 参数时间自动机的逆方法。 (英语) Zbl 1337.68150号 Halava,Vesa(编辑)等人,计算模型可达性问题第二次研讨会论文集(RP 2008),英国利物浦,2008年9月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记223,29-46(2008)。MSC公司:65年第68季度 60年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{É.André}等人,Electron。注释Theor。计算。科学。223、29-46(2008年;Zbl 1337.68150) 全文: 内政部