Update of Probabilistic Beliefs: Implementation and Parametric Verification

Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski. Update of Probabilistic Beliefs: Implementation and Parametric Verification. Fundamenta Informaticae, 102(1):35-48, 2010. [doi]

@article{BudzynskaKR10,
  title = {Update of Probabilistic Beliefs: Implementation and Parametric Verification},
  author = {Katarzyna Budzynska and Magdalena Kacprzak and Pawel Rembelski},
  year = {2010},
  doi = {10.3233/FI-2010-295},
  url = {http://dx.doi.org/10.3233/FI-2010-295},
  researchr = {https://researchr.org/publication/BudzynskaKR10},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {102},
  number = {1},
  pages = {35-48},
}