BibTeX record conf/tase/FeiZL18

• > Home > conf/tase/FeiZL18

@inproceedings{DBLP:conf/tase/FeiZL18,
  author       = {Yuan Fei and
                  Huibiao Zhu and
                  Xin Li},
  editor       = {Jun Pang and
                  Chenyi Zhang and
                  Jifeng He and
                  Jian Weng},
  title        = {Modeling and Verification of {NLSR} Protocol using {UPPAAL}},
  booktitle    = {2018 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2018, Guangzhou, China, August 29-31, 2018},
  pages        = {108--115},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/TASE.2018.00022},
  doi          = {10.1109/TASE.2018.00022},
  timestamp    = {Wed, 07 Aug 2024 08:01:06 +0200},
  biburl       = {https://dblp.org/rec/conf/tase/FeiZL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}