@article{sardar2018towards,
  title={Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA)},
  author={Sardar, Muhammad Usama and Afaq, Nida and Hasan, Osman and Hoque, Khaza Anuarul},
  journal={Journal of Automated Reasoning},
  volume={60},
  number={1},
  pages={85--105},
  year={2018},
  publisher={Springer Netherlands},
  url_Paper =  {papers/JAR2017.pdf}
}

{"_id":"y42QYcMXg3M4d7P29","bibbaseid":"sardar-afaq-hasan-hoque-towardsprobabilisticformalanalysisofsatssimultaneouslymovingaircraftsatssma-2018","authorIDs":["htvCmvEBSwLbxozzn"],"author_short":["Sardar, M. U.","Afaq, N.","Hasan, O.","Hoque, K. A."],"bibdata":{"bibtype":"article","type":"article","title":"Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA)","author":[{"propositions":[],"lastnames":["Sardar"],"firstnames":["Muhammad","Usama"],"suffixes":[]},{"propositions":[],"lastnames":["Afaq"],"firstnames":["Nida"],"suffixes":[]},{"propositions":[],"lastnames":["Hasan"],"firstnames":["Osman"],"suffixes":[]},{"propositions":[],"lastnames":["Hoque"],"firstnames":["Khaza","Anuarul"],"suffixes":[]}],"journal":"Journal of Automated Reasoning","volume":"60","number":"1","pages":"85–105","year":"2018","publisher":"Springer Netherlands","url_paper":"papers/JAR2017.pdf","bibtex":"@article{sardar2018towards,\n title={Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA)},\n author={Sardar, Muhammad Usama and Afaq, Nida and Hasan, Osman and Hoque, Khaza Anuarul},\n journal={Journal of Automated Reasoning},\n volume={60},\n number={1},\n pages={85--105},\n year={2018},\n publisher={Springer Netherlands},\n url_Paper = {papers/JAR2017.pdf}\n}\n\n","author_short":["Sardar, M. U.","Afaq, N.","Hasan, O.","Hoque, K. A."],"key":"sardar2018towards","id":"sardar2018towards","bibbaseid":"sardar-afaq-hasan-hoque-towardsprobabilisticformalanalysisofsatssimultaneouslymovingaircraftsatssma-2018","role":"author","urls":{" paper":"diner007.github.io/papers/JAR2017.pdf"},"metadata":{"authorlinks":{"hoque, k":"https://www.kahoque.com/"}}},"bibtype":"article","biburl":"diner007.github.io/ref.bib","creationDate":"2020-11-29T18:55:51.646Z","downloads":1,"keywords":[],"search_terms":["towards","probabilistic","formal","analysis","sats","simultaneously","moving","aircraft","sats","sma","sardar","afaq","hasan","hoque"],"title":"Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA)","year":2018,"dataSources":["6YYKW9kmn2TAMQtCF","Gash8qyff28DoHD7j","YCBcQPneB9oxahSnp"]}