谢尔盖·哈达德;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 定性时间并发游戏的基于回合的方法。 （英语） 兹比尔1489.68160 Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12734, 76-92 (2021).MSC公司：68问题85 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit｛S.Haddad｝等人，Lect。票据计算。科学。12734、76-92（2021年；Zbl 1489.68160） 全文： 内政部 哈尔
Bérard，B。;哈达德，S。;皮卡罗尼，C。;Safey El Din，M。;萨索拉斯，M。 多项式中断时间自动机：验证和表达。 （英语） Zbl 1475.68145号 Inf.计算。 277，文章ID 104580，15 p.（2021）.MSC公司：65年第68季度 03B70号 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，《信息计算》。277，文章ID 104580，15 p.（2021；Zbl 1475.68145） 全文： 内政部 哈尔
Bérard，Béatrice公司;谢尔盖·哈达德;马修·萨索拉斯 中断时间自动机：验证和表达。 （英语） Zbl 1247.68124号 形式方法系统。设计。 40，第1期，41-87（2012）.MSC公司：65年第68季度 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛B.Bérard｝等人，Form.Methods Syst。设计。40、第1号、第41-87号（2012；Zbl 1247.68124） 全文： 内政部 arXiv公司
雷卡德，劳拉;谢尔盖·哈达德;曼纽尔·席尔瓦 连续Petri网：表达能力和可判定性问题。 （英语） 兹比尔1200.68164 发现的国际期刊。计算。科学。 第235-256号第21页（2010年）.MSC公司：68问题85 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Recalde}等人，国际期刊发现。计算。科学。21，第2号，235--256（2010；Zbl 1200.68164） 全文： 内政部
贝拉德、比阿特丽斯;谢尔盖·哈达德 中断时间自动机。 （英语） Zbl 1234.68195号 de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，该会议是欧洲软件理论与实践联合会议ETAPS 2009的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504197-211（2009）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}和\textit{S.Haddad}，莱克特。票据计算。科学。5504197-211（2009年；Zbl 1234.68195） 全文： 内政部