%0 Conference Paper %1 conf/adaEurope/FaginC13 %A Fagin, Barry S. %A Carlisle, Martin C. %B Ada-Europe %D 2013 %E Keller, Hubert B. %E Plödereder, Erhard %E Dencker, Peter %E Klenk, Herbert %I Springer %K dblp %P 81-93 %T Provably Secure DNS: A Case Study in Reliable Software. %U http://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2013.html#FaginC13 %V 7896 %@ 978-3-642-38601-5

@inproceedings{conf/adaEurope/FaginC13, added-at = {2017-05-26T00:00:00.000+0200}, author = {Fagin, Barry S. and Carlisle, Martin C.}, biburl = {https://www.bibsonomy.org/bibtex/2a9f06601a26a79a43c4ddd3fcda19c5c/dblp}, booktitle = {Ada-Europe}, crossref = {conf/adaEurope/2013}, editor = {Keller, Hubert B. and Plödereder, Erhard and Dencker, Peter and Klenk, Herbert}, ee = {https://doi.org/10.1007/978-3-642-38601-5_6}, interhash = {ff135e154db0b4120d609c83ccb78e4a}, intrahash = {a9f06601a26a79a43c4ddd3fcda19c5c}, isbn = {978-3-642-38601-5}, keywords = {dblp}, pages = {81-93}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:00:27.000+0200}, title = {Provably Secure DNS: A Case Study in Reliable Software.}, url = {http://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2013.html#FaginC13}, volume = 7896, year = 2013 }