Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram. Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. In Francesco Flammini, Sandro Bologna, Valeria Vittorini, editors, Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings. Volume 6894 of Lecture Notes in Computer Science, pages 85-98, Springer, 2011. [doi]
@inproceedings{BonichonCCGHHLM11,
title = {Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software},
author = {Richard Bonichon and Géraud Canet and Loïc Correnson and Eric Goubault and Emmanuel Haucourt and Michel Hirschowitz and Sébastien Labbé and Samuel Mimram},
year = {2011},
doi = {10.1007/978-3-642-24270-0_7},
url = {http://dx.doi.org/10.1007/978-3-642-24270-0_7},
researchr = {https://researchr.org/publication/BonichonCCGHHLM11},
cites = {0},
citedby = {0},
pages = {85-98},
booktitle = {Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings},
editor = {Francesco Flammini and Sandro Bologna and Valeria Vittorini},
volume = {6894},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-24269-4},
}