%0 Journal Article %1 Finthammer:2012b %A Finthammer, Marc %A Thimm, Matthias %D 2012 %J Logic Journal of the IGPL %K imported matthias.thimm myown west.uni-koblenz.de %T An Integrated Development Environment for Probabilistic Relational Reasoning %U http://www.mthimm.de/publications.php

@article{Finthammer:2012b, added-at = {2014-01-31T15:58:28.000+0100}, author = {Finthammer, Marc and Thimm, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/23443e298127abd1a98b0f97415319fb8/matthias.thimm}, interhash = {0ce9a90137655b2584dd18b29e75406d}, intrahash = {3443e298127abd1a98b0f97415319fb8}, journal = {Logic Journal of the IGPL}, keywords = {imported matthias.thimm myown west.uni-koblenz.de}, month = {March}, timestamp = {2017-07-12T15:15:47.000+0200}, title = {An Integrated Development Environment for Probabilistic Relational Reasoning}, url = {http://www.mthimm.de/publications.php}, year = 2012 }