A Formalized Hierarchy of Probabilistic System Types (Proof Pearl)

Johannes Hölzl, Andreas Lochbihler, Dmitriy Traytel

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

13 Citationer (Scopus)

Originalsprog	Engelsk
Titel	ITP 2015
Redaktører	Xingyuan Zhang, Christian Urban
Antal sider	18
Vol/bind	9236
Forlag	Springer, Cham
Publikationsdato	2015
Sider	203-220
DOI	https://doi.org/10.1007/978-3-319-22102-1_13
Status	Udgivet - 2015
Udgivet eksternt	Ja

Navn	LNCS

Adgang til dokumentet

@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",

}

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 -