@第{zbMATH07407775条，作者＝{Blondin，Michael和Raskin，Mikhail}，Title={具有状态的仿射向量加法系统}中可达性的复杂性，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={17}，数字={3}，页码={31}，注={Id/No 3}，年份={2021}，语言={英语}，关键词={03B70,68-XX}，URL={lmcs.episciences.org/7687}，zbMATH={7407775}}