BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-290986, author = {Bartocci, Ezio and Kovacs, Laura and Stankovic, Miroslav}, title = {Analysis of Bayesian Networks via Prob-Solvable Loops}, booktitle = {Proc. of ICTAC 2020: the 17th International Colloquium on Theoretical Aspects of Computing}, year = {2020}, pages = {221--241}, publisher = {Springer}, address = {12545}, isbn = {978-3-030-64275-4}, doi = {10.1007/978-3-030-64276-1{\_}12}, note = {talk: Proc. of ICTAC 2020: the 17th International Colloquium on Theoretical Aspects of Computing, Macau S.A.R., China; 2020-11-30 -- 2020-12-04} } 1 Datensatz ausgegeben