BibTeX records: Muhammad Qadeer

• > Home > Persons > Muhammad Qadeer

@inproceedings{DBLP:conf/fit/RashidQRRRZ23,
  author       = {Muhammad Rashid and
                  Muhammad Qadeer and
                  Husnain Raza and
                  Muhammad Masood Ul Rehman and
                  Imran Rasool and
                  Nazir Ahmad Zafar},
  title        = {Verification of Safety of Aircraft Arrival Procedure using {SPIN}
                  Model Checker},
  booktitle    = {International Conference on Frontiers of Information Technology, {FIT}
                  2023, Islamabad, Pakistan, December 11-12, 2023},
  pages        = {262--267},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/FIT60620.2023.00055},
  doi          = {10.1109/FIT60620.2023.00055},
  timestamp    = {Sat, 31 May 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fit/RashidQRRRZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}