BibTeX record conf/uksim/ThuNYD16

• > Home > conf/uksim/ThuNYD16

@inproceedings{DBLP:conf/uksim/ThuNYD16,
  author       = {Kyaw Myat Thu and
                  Myo Thet Naung and
                  Kyaw Zaw Ye and
                  V. V. Devyatkov},
  editor       = {David Al{-}Dabass and
                  Alessandra Orsoni and
                  Richard J. Cant and
                  Glenn Jenkins},
  title        = {The Formal Logical Analysis of the Correctness of the Specifications
                  of Network Protocol {SIP}},
  booktitle    = {UKSim-AMSS 18th International Conference on Computer Modelling and
                  Simulation, UKSim 2016, Cambridge, United Kingdom, April 6-8, 2016},
  pages        = {279--283},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/UKSim.2016.47},
  doi          = {10.1109/UKSIM.2016.47},
  timestamp    = {Fri, 24 Mar 2023 00:02:33 +0100},
  biburl       = {https://dblp.org/rec/conf/uksim/ThuNYD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}