Formal analysis of departure procedure of air traffic control system. Yousaf, S., Zafar, N. A., & Khan, S. A. In 2010 2nd International Conference on Software Technology and Engineering, volume 2, pages V2–301, 2010. IEEE. tex.ids= yousafFormalAnalysisDeparture2010a, yousafFormalAnalysisDeparture2010b, yousafFormalAnalysisDeparture2010c, yousafFormalAnalysisDeparture2010d, yousafFormalAnalysisDeparture2010e, yousafFormalAnalysisDeparture2010f, yousafFormalAnalysisDeparture2010g, yousafFormalAnalysisDeparture2010h, yousafFormalAnalysisDeparture2010i, yousafFormalAnalysisDeparture2010j, yousafFormalAnalysisDeparture2010k, yousafFormalAnalysisDeparture2010l, yousafFormalAnalysisDeparture2010m
doi  bibtex   
@inproceedings{yousaf_formal_2010,
	title = {Formal analysis of departure procedure of air traffic control system},
	volume = {2},
	doi = {10/bb6k5b},
	booktitle = {2010 2nd {International} {Conference} on {Software} {Technology} and {Engineering}},
	publisher = {IEEE},
	author = {Yousaf, Shahid and Zafar, Nazir Ahmad and Khan, Sher Afzal},
	year = {2010},
	note = {tex.ids= yousafFormalAnalysisDeparture2010a, yousafFormalAnalysisDeparture2010b, yousafFormalAnalysisDeparture2010c, yousafFormalAnalysisDeparture2010d, yousafFormalAnalysisDeparture2010e, yousafFormalAnalysisDeparture2010f, yousafFormalAnalysisDeparture2010g, yousafFormalAnalysisDeparture2010h, yousafFormalAnalysisDeparture2010i, yousafFormalAnalysisDeparture2010j, yousafFormalAnalysisDeparture2010k, yousafFormalAnalysisDeparture2010l, yousafFormalAnalysisDeparture2010m},
	pages = {V2--301},
}

Downloads: 0