ADAM: analysis of discrete models of biological systems using computer algebra.

ADAM: analysis of discrete models of biological systems using computer algebra.