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

por Carrillo, Miguel, Góngora, Pedro A., Rosenblueth, David A.
Publicado 2012

"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis

por Arellano, Gustavo, Argil, Julián, Azpeitia, Eugenio, Benítez, Mariana, Carrillo, Miguel, Góngora, Pedro, Rosenblueth, David A, Alvarez-Buylla, Elena R
Publicado 2011