A Formalized Hierarchy of Probabilistic System Types (Proof Pearl)
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
A Formalized Hierarchy of Probabilistic System Types (Proof Pearl). / Hölzl, Johannes; Lochbihler, Andreas; Traytel, Dmitriy.
ITP 2015. ed. / Xingyuan Zhang; Christian Urban. Vol. 9236 Springer, Cham, 2015. p. 203-220 (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Hölzl, J, Lochbihler, A & Traytel, D 2015, A Formalized Hierarchy of Probabilistic System Types (Proof Pearl). in X Zhang & C Urban (eds), ITP 2015. vol. 9236, Springer, Cham, LNCS, pp. 203-220. https://doi.org/10.1007/978-3-319-22102-1_13
APA
Hölzl, J., Lochbihler, A., & Traytel, D. (2015). A Formalized Hierarchy of Probabilistic System Types (Proof Pearl). In X. Zhang, & C. Urban (Eds.), ITP 2015 (Vol. 9236, pp. 203-220). Springer, Cham. LNCS https://doi.org/10.1007/978-3-319-22102-1_13
Vancouver
Hölzl J, Lochbihler A, Traytel D. A Formalized Hierarchy of Probabilistic System Types (Proof Pearl). In Zhang X, Urban C, editors, ITP 2015. Vol. 9236. Springer, Cham. 2015. p. 203-220. (LNCS). https://doi.org/10.1007/978-3-319-22102-1_13
Author
Bibtex
@inproceedings{dff95ac96ff244e3bcde6e7306569dbb,
title = "A Formalized Hierarchy of Probabilistic System Types (Proof Pearl)",
author = "Johannes H{\"o}lzl and Andreas Lochbihler and Dmitriy Traytel",
year = "2015",
doi = "10.1007/978-3-319-22102-1_13",
language = "English",
volume = "9236",
series = "LNCS",
pages = "203--220",
editor = "Xingyuan Zhang and Christian Urban",
booktitle = "ITP 2015",
publisher = "Springer, Cham",
}
RIS
TY - GEN
T1 - A Formalized Hierarchy of Probabilistic System Types (Proof Pearl)
AU - Hölzl, Johannes
AU - Lochbihler, Andreas
AU - Traytel, Dmitriy
PY - 2015
Y1 - 2015
U2 - 10.1007/978-3-319-22102-1_13
DO - 10.1007/978-3-319-22102-1_13
M3 - Article in proceedings
VL - 9236
T3 - LNCS
SP - 203
EP - 220
BT - ITP 2015
A2 - Zhang, Xingyuan
A2 - Urban, Christian
PB - Springer, Cham
ER -
ID: 245669042