Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents / Potiyenko S. V. (2013)
UkrainianEnglish

 

Інститут інформаційних технологій НБУВ


+38 (044) 525-36-24
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна