Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik. On Proving Recoverability of Smart Electrical Grids. In Julia M. Badger, Kristin Yvonne Rozier, editors, NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings. Volume 8430 of Lecture Notes in Computer Science, pages 77-91, Springer, 2014. [doi]
@inproceedings{HorsmanheimoKKNPRS14,
title = {On Proving Recoverability of Smart Electrical Grids},
author = {Seppo Horsmanheimo and Maryam Kamali and Mikko Kolehmainen and Mats Neovius and Luigia Petre and Mauno Rönkkö and Petter Sandvik},
year = {2014},
doi = {10.1007/978-3-319-06200-6_6},
url = {http://dx.doi.org/10.1007/978-3-319-06200-6_6},
researchr = {https://researchr.org/publication/HorsmanheimoKKNPRS14},
cites = {0},
citedby = {0},
pages = {77-91},
booktitle = {NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings},
editor = {Julia M. Badger and Kristin Yvonne Rozier},
volume = {8430},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-06199-3},
}