@InCollection{zbMATH07358485，作者={Phawade，Ramchandra}，Title＝{分布字母表上自由选择自动机的Kleene定理}，BookTitle={Petri网和其他并发模型XIV}上的事务，国际标准图书编号={978-3-662-60650-6；978-3-562-60651-3}，Pages＝{146-171}，年份={2019}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-662-60651-3_6}，关键词={68Q85,68Q45}，zbMATH={7358485}，Zbl={1464.68258}}