SYRUP: SYmbolic RedUction of Probabilistic Models

Publications: in EPrints
Further information: http://www.nwo.nl/nwohome.nsf/pages/NWOA_7QGHF5