Intelligently deciphering unintelligible designs: algorithmic algebraic model checking in systems biology

Intelligently deciphering unintelligible designs: algorithmic algebraic model checking in systems biology