ZBDD

swMATH12885MaRDI QIDQ24809FDOQ24809

Author name not available (Why is that?)

Official website: http://www-dssz.informatik.tu-cottbus.de/indexe.html?/software/mc.html

Cited In (3)

• IDD-based model validation of biochemical networks
• Charlie
• SABRE

This page was built for software: ZBDD