{"_id":"CuT2rL6t7qCGzBxQ4","bibbaseid":"jarrar-balouki-towardssophisticatedairtrafficcontrolsystemusingformalmethods-2018","author_short":["Jarrar, A.","Balouki, Y."],"bibdata":{"bibtype":"article","type":"article","title":"Towards Sophisticated Air Traffic Control System Using Formal Methods","url":"https://doi.org/10.1155/2018/1692432","doi":"10/gh25xd","language":"English","author":[{"propositions":[],"lastnames":["Jarrar"],"firstnames":["Abdessamad"],"suffixes":[]},{"propositions":[],"lastnames":["Balouki"],"firstnames":["Youssef"],"suffixes":[]}],"year":"2018","keywords":"QA75.5-76.95","bibtex":"@article{jarrar_towards_2018,\n\ttitle = {Towards {Sophisticated} {Air} {Traffic} {Control} {System} {Using} {Formal} {Methods}},\n\turl = {https://doi.org/10.1155/2018/1692432},\n\tdoi = {10/gh25xd},\n\tlanguage = {English},\n\tauthor = {Jarrar, Abdessamad and Balouki, Youssef},\n\tyear = {2018},\n\tkeywords = {QA75.5-76.95},\n}\n\n","author_short":["Jarrar, A.","Balouki, Y."],"key":"jarrar_towards_2018","id":"jarrar_towards_2018","bibbaseid":"jarrar-balouki-towardssophisticatedairtrafficcontrolsystemusingformalmethods-2018","role":"author","urls":{"Paper":"https://doi.org/10.1155/2018/1692432"},"keyword":["QA75.5-76.95"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["qa75.5-76.95"],"search_terms":["towards","sophisticated","air","traffic","control","system","using","formal","methods","jarrar","balouki"],"title":"Towards Sophisticated Air Traffic Control System Using Formal Methods","year":2018}