Formal logical analysis of the correctness of the specifications of network protocol SIP
Published: 18.11.2013
Authors: Devyatkov V.V., Myo T.N.
Published in issue: #11(23)/2013
DOI: 10.18698/2308-6033-2013-11-999
Category: Information technology | Chapter: Computer systems and networks