@第{zbMATH07089068条，作者＝{Bertrand，Nathalie和Dewaskar，Miheer和Genest，Blaise和Gimbert，Hugo和Godbole，Adwait Amit}，标题={控制人口}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN＝{1860-5974}，体积={15}，数字={3}，页码={30}，注={Id/No 7}，年份={2019}，语言={英语}，关键词={68T42,68Q17，68Q45,68Q60，68Q85，91A80，93A16}，zbMATH={7089068}，Zbl={1437.68176}}