Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA). Sardar, M. U., Afaq, N., Hasan, O., & Hoque, K. A. Journal of Automated Reasoning, 60(1):85–105, 2018.
doi  bibtex   
@article{sardar_towards_2018,
	title = {Towards {Probabilistic} {Formal} {Analysis} of {SATS}-{Simultaneously} {Moving} {Aircraft} ({SATS}-{SMA})},
	volume = {60},
	doi = {10/gh25xg},
	number = {1},
	journal = {Journal of Automated Reasoning},
	author = {Sardar, Muhammad Usama and Afaq, Nida and Hasan, Osman and Hoque, Khaza Anuarul},
	year = {2018},
	pages = {85--105},
}

Downloads: 0