@第{zbMATH07130923条，作者={Alpernas、Kalev和Panda、Aurojit和Rabinovich、Alexander和Sagiv、Mooly和Shenker、Scott和Shoham、Sharon和Velner、Yaron}，标题={有状态网络验证的一些复杂性结果}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={54}，数字={2}，页码={191--231}，年份={2019}，语言={英语}，DOI={10.1007/s10703-018-00330-9}，关键词={68Q60,68M10,68Q25,68Q85}，zbMATH={7130923}，Zbl={1425.68248}}