@会议记录{esparza:LIPIcs.STACS.2014.1，author={Esparza，Javier}，title={{确保人群安全：关于参数化验证的复杂性}}，booktitle={第31届计算机科学理论方面国际研讨会（STACS 2014）}，页数={1--10}，series={莱布尼茨国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-65-1}，ISSN={1868-8969}，年份={2014}，体积={25}，editor={Mayr，Ernst W.和Portier，Natacha}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops-dev.dagstuhl.de/entities/documents/10.4230/LIPIcs.STACS.2014.1}，URN={URN:nbn:de:0030-drops-44985}，doi＝{10.4230/LIPS.STACS.2014.1}，annote={关键词：参数化验证，自动机理论}}
