{"_id":"gf3cvtBfDzdD37BXs","bibbaseid":"yousaf-zafar-khan-formalanalysisofdepartureprocedureofairtrafficcontrolsystem-2010","author_short":["Yousaf, S.","Zafar, N. A.","Khan, S. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[{"propositions":[],"lastnames":["Yousaf"],"firstnames":["Shahid"],"suffixes":[]},{"propositions":[],"lastnames":["Zafar"],"firstnames":["Nazir","Ahmad"],"suffixes":[]},{"propositions":[],"lastnames":["Khan"],"firstnames":["Sher","Afzal"],"suffixes":[]}],"year":"2010","note":"tex.ids= yousafFormalAnalysisDeparture2010a, yousafFormalAnalysisDeparture2010b, yousafFormalAnalysisDeparture2010c, yousafFormalAnalysisDeparture2010d, yousafFormalAnalysisDeparture2010e, yousafFormalAnalysisDeparture2010f, yousafFormalAnalysisDeparture2010g, yousafFormalAnalysisDeparture2010h, yousafFormalAnalysisDeparture2010i, yousafFormalAnalysisDeparture2010j, yousafFormalAnalysisDeparture2010k, yousafFormalAnalysisDeparture2010l, yousafFormalAnalysisDeparture2010m","pages":"V2–301","bibtex":"@inproceedings{yousaf_formal_2010,\n\ttitle = {Formal analysis of departure procedure of air traffic control system},\n\tvolume = {2},\n\tdoi = {10/bb6k5b},\n\tbooktitle = {2010 2nd {International} {Conference} on {Software} {Technology} and {Engineering}},\n\tpublisher = {IEEE},\n\tauthor = {Yousaf, Shahid and Zafar, Nazir Ahmad and Khan, Sher Afzal},\n\tyear = {2010},\n\tnote = {tex.ids= yousafFormalAnalysisDeparture2010a, yousafFormalAnalysisDeparture2010b, yousafFormalAnalysisDeparture2010c, yousafFormalAnalysisDeparture2010d, yousafFormalAnalysisDeparture2010e, yousafFormalAnalysisDeparture2010f, yousafFormalAnalysisDeparture2010g, yousafFormalAnalysisDeparture2010h, yousafFormalAnalysisDeparture2010i, yousafFormalAnalysisDeparture2010j, yousafFormalAnalysisDeparture2010k, yousafFormalAnalysisDeparture2010l, yousafFormalAnalysisDeparture2010m},\n\tpages = {V2--301},\n}\n\n","author_short":["Yousaf, S.","Zafar, N. A.","Khan, S. A."],"key":"yousaf_formal_2010","id":"yousaf_formal_2010","bibbaseid":"yousaf-zafar-khan-formalanalysisofdepartureprocedureofairtrafficcontrolsystem-2010","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","analysis","departure","procedure","air","traffic","control","system","yousaf","zafar","khan"],"title":"Formal analysis of departure procedure of air traffic control system","year":2010}