%0 Journal Article %1 journals/eswa/GomezGGL16 %A Gómez, Sergio Alejandro %A Goron, Anca %A Groza, Adrian %A Letia, Ioan Alfred %D 2016 %J Expert Syst. Appl. %K dblp %P 367-385 %T Assuring safety in air traffic control systems with argumentation and model checking. %U http://dblp.uni-trier.de/db/journals/eswa/eswa44.html#GomezGGL16 %V 44

@article{journals/eswa/GomezGGL16, added-at = {2022-04-09T00:00:00.000+0200}, author = {Gómez, Sergio Alejandro and Goron, Anca and Groza, Adrian and Letia, Ioan Alfred}, biburl = {https://www.bibsonomy.org/bibtex/2b3c31204dbfadbca7d3460333a84d352/dblp}, ee = {https://doi.org/10.1016/j.eswa.2015.09.027}, interhash = {41f331bd430d7e2344e2e2ca598f8296}, intrahash = {b3c31204dbfadbca7d3460333a84d352}, journal = {Expert Syst. Appl.}, keywords = {dblp}, pages = {367-385}, timestamp = {2024-04-08T10:09:28.000+0200}, title = {Assuring safety in air traffic control systems with argumentation and model checking.}, url = {http://dblp.uni-trier.de/db/journals/eswa/eswa44.html#GomezGGL16}, volume = 44, year = 2016 }