@会议记录{bedard_et_al:LIPIcs.TIME.2021.5,作者={B\'{e} 达德、亚历克西斯和霍尔、西尔文,title={{流处理管道的模型检查}},booktitle={第28届时间表征与推理国际研讨会(TIME 2021)},页数={5:1--5:17},series={莱布尼茨国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-206-8},ISSN={1868-8969},年份={2021},体积={206},editor={Combi,Carlo和Eder,Johann和Reynolds,Mark},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},网址={https://drops-dev.dagstuhl.de/entities/documents/10.4230/LIPIcs.TIME.2021.5},URN={URN:nbn:de:0030-drops-147819},doi={10.4230/LIPIcs.TIME.2021.5},annote={关键词:流处理,模型检查}}