@第{zbMATH05527907条，作者={Tak{\'a}cs，P{\'e}ter和V{\'a}lyi，S{\'a}ndor}，Title={协议验证模式逻辑到多信道协议的扩展}，FJournal={Tatra Mountains数学出版物}，期刊={Tatra Mount Math.Publ.}，ISSN={1210-3195}，体积={41}，页码={153--166}，年份={2008}，语言={英语}，关键词={68Q60,94A60,03B70,3B42}，zbMATH={5527907}，Zbl={1240.68132}}