by Gómez, Sergio Alejandro, Goron, Anca, Groza, Adrian and Letia, Ioan Alfred
Reference:
Assuring safety in air traffic control systems with argumentation and model checking (Gómez, Sergio Alejandro, Goron, Anca, Groza, Adrian and Letia, Ioan Alfred), In Expert Systems with Applications, Elsevier, volume 44, 2016.
Bibtex Entry:
@article{gomez2016assuring,
title={Assuring safety in air traffic control systems with argumentation and model checking},
author={G{'o}mez, Sergio Alejandro and Goron, Anca and Groza, Adrian and Letia, Ioan Alfred},
journal={Expert Systems with Applications},
volume={44},
pages={367--385},
year={2016},
publisher={Elsevier}
}
