CoLoMoTo
From MaRDI portal
Software:1353664
swMATH41493MaRDI QIDQ1353664FDOQ1353664
Author name not available (Why is that?)
Source code repository: https://github.com/colomoto/colomoto-docker
Cited In (6)
- Formalizing and enriching phenotype signatures using Boolean networks
- An extension of ERODE to reduce Boolean networks by backward Boolean equivalence
- Reducing Boolean networks with backward Boolean equivalence
- Toward model selection by formal methods
- Boolean function metrics can assist modelers to check and choose logical rules
- What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer
This page was built for software: CoLoMoTo