Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}