Facebook Instagram Twitter RSS Feed PodBean Back to top on side

An extension of protocol verification modal logic to multi-channel-protocols

In: Tatra Mountains Mathematical Publications, vol. 41, no. 3
Péter Takáč - Sándor Vályi
Detaily:
Rok, strany: 2008, 153 - 166
O článku:
The first purpose of this paper is to extend Coffey—Saidha—Ne we modal logic to be able to deal with multi-channel protocols. Next, we apply the extended logic to verify validity of protocols in the MANA family.
Ako citovať:
ISO 690:
Takáč, P., Vályi, S. 2008. An extension of protocol verification modal logic to multi-channel-protocols. In Tatra Mountains Mathematical Publications, vol. 41, no.3, pp. 153-166. 1210-3195.

APA:
Takáč, P., Vályi, S. (2008). An extension of protocol verification modal logic to multi-channel-protocols. Tatra Mountains Mathematical Publications, 41(3), 153-166. 1210-3195.