汉娜·克劳代尔；马西耶·库特尼；段振华；本·莫斯科夫斯基 从盒代数到区间时序逻辑。 （英语） Zbl 1423.68312号 芬丹。通知。 167，第4号，323-354（2019）.MSC公司：68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Klaudel}等人，Fundam。通知。167，编号4，323--354（2019；Zbl 1423.68312） 全文： 内政部
汉娜·克劳代尔；马西耶·库特尼；段振华 盒代数的区间时态逻辑语义。 （英语） Zbl 1407.68334号 Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2014年3月10日至14日在西班牙马德里举行的2014年拉丁美洲旅游协会第八届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8370, 441-452 (2014).MSC公司：68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛H.Klaudel｝等人，Lect。票据计算。科学。8370、441--452（2014年；Zbl 1407.68334） 全文： 内政部 链接
雷蒙德·魔鬼队；汉娜·克劳代尔；马西耶·库特尼 有限（pi）演算术语的Petri网语义。 （英语） Zbl 1095.68062号 芬丹。通知。 70，第3期，203-226（2006）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}等人，Fundam。通知。70，第3号，203--226（2006；Zbl 1095.68062）