Skip to main content

1 article related to "Model Checkers"

No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.

Articles

Review

Published on 20 Jul 2012

An overview of existing modeling tools making use of model checking in the analysis of biochemical networks

in Plant Genetics and Genomics

Miguel Carrillo
Pedro A. Góngora
David A. Rosenblueth

Frontiers in Plant Science

doi 10.3389/fpls.2012.00155

8,598 views
26 citations