BibTeX record conf/euspn/RiazAIZA15

• > Home > conf/euspn/RiazAIZA15

@inproceedings{DBLP:conf/euspn/RiazAIZA15,
  author       = {Shehla Riaz and
                  Hamra Afzaal and
                  Muhammad Imran and
                  Nazir Ahmad Zafar and
                  Mehmet Sabih Aksoy},
  title        = {Formalizing Mobile Ad Hoc and Sensor Networks Using {VDM-SL}},
  booktitle    = {The 6th International Conference on Emerging Ubiquitous Systems and
                  Pervasive Networks {(EUSPN} 2015)/ The 5th International Conference
                  on Current and Future Trends of Information and Communication Technologies
                  in Healthcare {(ICTH-2015)/} Affiliated Workshops, September 27-30,
                  2015, Berlin, Germany},
  series       = {Procedia Computer Science},
  volume       = {63},
  pages        = {148--153},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.procs.2015.08.325},
  doi          = {10.1016/J.PROCS.2015.08.325},
  timestamp    = {Tue, 11 Jan 2022 16:58:16 +0100},
  biburl       = {https://dblp.org/rec/conf/euspn/RiazAIZA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}