Marc Finthammer, Matthias Thimm. An integrated development environment for probabilistic relational reasoning. Logic Journal of the IGPL, 20(5):831-871, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.