{"_id":"EHpowZ8SNvr6CvhLK","bibbaseid":"jarrar-balouki-formalmodelingofacomplexadaptiveairtrafficcontrolsystem-2018","author_short":["Jarrar, A.","Balouki, Y."],"bibdata":{"bibtype":"article","type":"article","title":"Formal modeling of a complex adaptive air traffic control system","volume":"6","doi":"10/ghv3xw","number":"1","journal":"Complex Adaptive Systems Modeling","author":[{"propositions":[],"lastnames":["Jarrar"],"firstnames":["Abdessamad"],"suffixes":[]},{"propositions":[],"lastnames":["Balouki"],"firstnames":["Youssef"],"suffixes":[]}],"year":"2018","note":"tex.ids= jarrarFormalModelingComplex2018a publisher: SpringerOpen","pages":"1–23","bibtex":"@article{jarrar_formal_2018,\n\ttitle = {Formal modeling of a complex adaptive air traffic control system},\n\tvolume = {6},\n\tdoi = {10/ghv3xw},\n\tnumber = {1},\n\tjournal = {Complex Adaptive Systems Modeling},\n\tauthor = {Jarrar, Abdessamad and Balouki, Youssef},\n\tyear = {2018},\n\tnote = {tex.ids= jarrarFormalModelingComplex2018a\npublisher: SpringerOpen},\n\tpages = {1--23},\n}\n\n","author_short":["Jarrar, A.","Balouki, Y."],"key":"jarrar_formal_2018","id":"jarrar_formal_2018","bibbaseid":"jarrar-balouki-formalmodelingofacomplexadaptiveairtrafficcontrolsystem-2018","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","modeling","complex","adaptive","air","traffic","control","system","jarrar","balouki"],"title":"Formal modeling of a complex adaptive air traffic control system","year":2018}