"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis (Q34109051)
Jump to navigation
Jump to search
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | "Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis |
scientific article |
Statements
1 reference
"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis (English)
1 reference
Gustavo Arellano
1 reference
Julián Argil
1 reference
Eugenio Azpeitia
1 reference
Mariana Benítez
1 reference
Miguel Carrillo
1 reference
Pedro Góngora
1 reference
David A Rosenblueth
1 reference
Elena R Alvarez-Buylla
1 reference
22 December 2011
1 reference
1 reference
12
1 reference
490
1 reference
1 reference
1 reference
1 reference
1 reference
1 reference
1 reference
1 reference
1 reference
Identifiers
1 reference
1 reference
28 January 2021
1 reference
1 reference