@收款{zbMATH07343233，作者={Albert，Elvira and G{\oo}mez-Zamalloa，Miguel and Rubio，Albert and Sammartino，Matteo and Silva，Alexandra，标题={{SDN}-参与者：{SDN}程序}的建模和验证，BookTitle={形式方法。第22届国际研讨会，2018年FM，作为联邦逻辑会议的一部分，2018年7月15日至17日在英国牛津举行。诉讼}，国际标准图书编号={978-3-319-95581-0；978-3-3169-95582-7}，页码={550--567}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI＝{10.1007/978-3-319-95582-7_33}，关键词={68Q60,68N19}，URL={discovery.ucl.ac.uk/id/eprint/10060372/}，zbMATH={7343233}，Zbl={1460.68052}}