Javier Esparza, Bernd Spanfelner, Orna Grumberg, editors, Logics and Languages for Reliability and Security. Volume 25 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, 2010. [doi]
@book{natosec-25, title = {Logics and Languages for Reliability and Security}, year = {2010}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=16080}, researchr = {https://researchr.org/publication/natosec-25}, cites = {0}, citedby = {0}, editor = {Javier Esparza and Bernd Spanfelner and Orna Grumberg}, volume = {25}, series = {NATO Science for Peace and Security Series - D: Information and Communication Security}, publisher = {IOS Press}, isbn = {978-1-60750-099-5}, }