Davide Pezzuti, Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto. A critical bisimulation approach to safety criticality analysis of large-scale Air Traffic Management systems. In Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, December 10-13, 2013, Firenze, Italy. pages 4224-4229, IEEE, 2013. [doi]
@inproceedings{PezzutiPSB13, title = {A critical bisimulation approach to safety criticality analysis of large-scale Air Traffic Management systems}, author = {Davide Pezzuti and Giordano Pola and Elena De Santis and Maria Domenica Di Benedetto}, year = {2013}, doi = {10.1109/CDC.2013.6760538}, url = {http://dx.doi.org/10.1109/CDC.2013.6760538}, researchr = {https://researchr.org/publication/PezzutiPSB13}, cites = {0}, citedby = {0}, pages = {4224-4229}, booktitle = {Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, December 10-13, 2013, Firenze, Italy}, publisher = {IEEE}, isbn = {978-1-4673-5714-2}, }