@会议记录{rubio_et_al:LIPIcs.FSCD.2019.34,author={Rubio,Rub\'{e} n个和马特·奥列特、纳西索和皮塔、伊莎贝尔和维尔德乔、阿尔贝托,title={{模型检查策略控制重写系统}},booktitle={第四届计算和演绎形式结构国际会议(FSCD 2019)},页数={34:1--34:18},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-107-8},ISSN={1868-8969},年份={2019},体积={131},editor={杰弗斯,赫尔曼},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2019.34},URN={URN:nbn:de:0030-drops-105414},doi={10.4230/LPIcs.FSCD.2019.34},annote={关键词:模型检查,策略,Maude,重写逻辑}}