徐、熊;詹伯华;王淑玲;Jean-Pierre塔宾;詹乃军 具有高阶UTP的simulink的指称语义。 （英语） Zbl 07618116号 J.日志。阿尔盖布。方法计划。 130，文章ID 100809，24 p.（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{X.Xu}等人，J.Log。阿尔盖布。方法计划。130，文章ID 100809，24 p.（2023；Zbl 07618116） 全文： 内政部 哈尔
圣菲省卡斯滕鲍姆;贝诺·博伊尔;Jean-Pierre塔宾 一种经过机械验证的合同理论。 （英语） 兹标07500642 Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。2021年9月8日至10日，哈萨克斯坦努尔苏尔坦，第18届国际学术讨论会，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12819, 134-151 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Kastenbaum}等人，Lect。注释计算。科学。12819、134--151（2021；Zbl 07500642） 全文： 内政部 arXiv公司
Jean-Pierre塔宾;尤伊，朱利安;蒂埃里·戈蒂埃;洛依茨贝斯纳德;保罗·勒格尔尼克 等时系统的组成设计。 （英语） Zbl 1250.68094号 科学。计算。程序。 77，第2期，113-128（2012）.MSC公司：68号30 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Talpin}等人，科学。计算。程序。77，No.2，113--128（2012；Zbl 1250.68094） 全文： 内政部