Maria Domenica Di Benedetto, Alessandro D'Innocenzo, Emmanuele Serra, Emmanuel Witrant. Automatic verification of wireless control in a mining ventilation system. In 2008 IEEE International Conference on Automation Science and Engineering, IEEE CASE 2008, Washington, DC, USA, August 23-26, 2008. pages 858-863, IEEE, 2008. [doi]
@inproceedings{BenedettoDSW08,
title = {Automatic verification of wireless control in a mining ventilation system},
author = {Maria Domenica Di Benedetto and Alessandro D'Innocenzo and Emmanuele Serra and Emmanuel Witrant},
year = {2008},
doi = {10.1109/COASE.2008.4626533},
url = {http://dx.doi.org/10.1109/COASE.2008.4626533},
researchr = {https://researchr.org/publication/BenedettoDSW08},
cites = {0},
citedby = {0},
pages = {858-863},
booktitle = {2008 IEEE International Conference on Automation Science and Engineering, IEEE CASE 2008, Washington, DC, USA, August 23-26, 2008},
publisher = {IEEE},
isbn = {978-1-4244-2022-3},
}