Generic Authenticated Data Structures, Formally
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
Generic Authenticated Data Structures, Formally. / Brun, Matthias; Traytel, Dmitriy.
ITP 2019. red. / John Harrison; John O'Leary; Andrew Tolmach. Bind 141 Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. s. 10:1-10:18 (LIPIcs).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Brun, M & Traytel, D 2019, Generic Authenticated Data Structures, Formally. i J Harrison, J O'Leary & A Tolmach (red), ITP 2019. bind 141, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, LIPIcs, s. 10:1-10:18. https://doi.org/10.4230/LIPIcs.ITP.2019.10
APA
Brun, M., & Traytel, D. (2019). Generic Authenticated Data Structures, Formally. I J. Harrison, J. O'Leary, & A. Tolmach (red.), ITP 2019 (Bind 141, s. 10:1-10:18). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. LIPIcs https://doi.org/10.4230/LIPIcs.ITP.2019.10
Vancouver
Brun M, Traytel D. Generic Authenticated Data Structures, Formally. I Harrison J, O'Leary J, Tolmach A, red., ITP 2019. Bind 141. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 2019. s. 10:1-10:18. (LIPIcs). https://doi.org/10.4230/LIPIcs.ITP.2019.10
Author
Bibtex
@inproceedings{e820378e56ea454d915c510265cd0db2,
title = "Generic Authenticated Data Structures, Formally",
author = "Matthias Brun and Dmitriy Traytel",
year = "2019",
doi = "10.4230/LIPIcs.ITP.2019.10",
language = "English",
volume = "141",
series = "LIPIcs",
pages = "10:1--10:18",
editor = "John Harrison and John O'Leary and Andrew Tolmach",
booktitle = "ITP 2019",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",
}
RIS
TY - GEN
T1 - Generic Authenticated Data Structures, Formally
AU - Brun, Matthias
AU - Traytel, Dmitriy
PY - 2019
Y1 - 2019
U2 - 10.4230/LIPIcs.ITP.2019.10
DO - 10.4230/LIPIcs.ITP.2019.10
M3 - Article in proceedings
VL - 141
T3 - LIPIcs
SP - 10:1-10:18
BT - ITP 2019
A2 - Harrison, John
A2 - O'Leary, John
A2 - Tolmach, Andrew
PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik
ER -
ID: 245667893