@InCollection{zbMATH06418734，作者={Abate，Pietro和Gor{\'e}，Rajeev}，标题={The{Tableau}{Workbench}}，BookTitle={2007年11月29日至30日在法国卡尚举行的第五届模式方法研讨会（M4M5 2007）会议记录}，页码={55--67}，年份＝{2009}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，DOI={10.1016/j.entcs.2009.02.029}，关键词={68T15}，zbMATH={6418734}，Zbl=｛1347.68297｝}