Sebastian Hagen, Michael Seibold, Alfons Kemper. Efficient verification of IT change operations or: How we could have prevented Amazon's cloud outage. In 2012 IEEE Network Operations and Management Symposium, Maui, HI, USA, April 16-20, 2012. pages 368-376, IEEE, 2012. [doi]
@inproceedings{HagenSK12, title = {Efficient verification of IT change operations or: How we could have prevented Amazon's cloud outage}, author = {Sebastian Hagen and Michael Seibold and Alfons Kemper}, year = {2012}, doi = {10.1109/NOMS.2012.6211920}, url = {http://dx.doi.org/10.1109/NOMS.2012.6211920}, researchr = {https://researchr.org/publication/HagenSK12}, cites = {0}, citedby = {0}, pages = {368-376}, booktitle = {2012 IEEE Network Operations and Management Symposium, Maui, HI, USA, April 16-20, 2012}, publisher = {IEEE}, isbn = {978-1-4673-0267-8}, }