http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

How long, O Bayesian network, will I sample thee? : A program analysis perspective on expected sampling times

Batz, Kevin (Corresponding author)^RWTH* ; Kaminski, Benjamin Lucien (Corresponding author)^RWTH* ; Katoen, Joost-Pieter (Corresponding author)^RWTH* ; Matheja, Christoph (Corresponding author)^RWTH*

In
Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Amal Ahmed, Seiten/Artikel-Nr: 186-213

2018

Konferenz/Event:27. European Symposium on Programming , Thessaloniki , Greece , ESOP 2018 , 2018-04-14 - 2018-04-20

ImpressumCham : Springer

Umfang186-213

ISBN978-3-319-89883-4, 978-3-319-89884-1

ReiheLecture notes in computer science ; 10801

Weitere Reihe: Springer eBook Collection : Computer Science

Online
DOI: 10.18154/RWTH-CONV-236462
DOI: 10.18154/RWTH-CONV-236462
DOI: 10.1007/978-3-319-89884-1_7
10.1007/978-3-319-89884-1_7
URL: https://publications.rwth-aachen.de/record/753062/files/753062.pdf

Einrichtungen

1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
2. Fachgruppe Informatik (120000)
3. Graduiertenkolleg UnRAVeL (080060)

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85045628715
OpenAlex: W2797914422

Interne Identnummern
RWTH-CONV-236462
Datensatz-ID: 753062

Beteiligte Länder
Germany