@InCollection{zbMATH06374695，作者={Bonchi，Filippo and Pous，Damien}，Title={检查{NFA}与同余之前的互模拟的等价性}，BookTitle={2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，国际标准图书编号={978-1-4503-1832-7}，页码={457--468}，年份={2013}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/2429069.2429124}，关键词={68Q45,68Q85}，zbMATH={6374695}，Zbl={1301.68169}}