- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1471-2105
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis ; volume:12 ; number:1 ; day:22 ; month:12 ; year:2011 ; pages:1-15 ; date:12.2011
BMC bioinformatics ; 12, Heft 1 (22.12.2011), 1-15, 12.2011
- Creator
-
Arellano, Gustavo
- Contributor
-
Argil, Julián
Azpeitia, Eugenio
Benítez, Mariana
Carrillo, Miguel
Góngora, Pedro
Rosenblueth, David A.
Álvarez-Buylla Roces, María Elena
SpringerLink (Online service)
- DOI
-
10.1186/1471-2105-12-490
- URN
-
urn:nbn:de:1111-2016021725382
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:33 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Arellano, Gustavo
- Argil, Julián
- Azpeitia, Eugenio
- Benítez, Mariana
- Carrillo, Miguel
- Góngora, Pedro
- Rosenblueth, David A.
- Álvarez-Buylla Roces, María Elena
- SpringerLink (Online service)
Other Objects (12)
Logic synthesis with Boolean model
Logic programming with pseudo-Boolean constraints
Boolean Connexive Logic and Content Relationship
Memristive Stateful Logic for Edge Boolean Computers
Universal logic-in-memory cell enabling all basic Boolean algebra logic
Implementing Boolean Logic in Ferroelectric Field‐Effect Transistors
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
Hybrid Branching-Time Logics
Deutsch-Checker
Milk Checker
Container-Checker
Checker's (Bestand)
Logic synthesis with Boolean model
Logic programming with pseudo-Boolean constraints
Boolean Connexive Logic and Content Relationship
Memristive Stateful Logic for Edge Boolean Computers
Universal logic-in-memory cell enabling all basic Boolean algebra logic
Implementing Boolean Logic in Ferroelectric Field‐Effect Transistors
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
Hybrid Branching-Time Logics
Deutsch-Checker
Milk Checker
Container-Checker
Checker's (Bestand)
Logic synthesis with Boolean model
Logic programming with pseudo-Boolean constraints
Boolean Connexive Logic and Content Relationship
Memristive Stateful Logic for Edge Boolean Computers
Universal logic-in-memory cell enabling all basic Boolean algebra logic
Implementing Boolean Logic in Ferroelectric Field‐Effect Transistors
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
Hybrid Branching-Time Logics
Deutsch-Checker
Milk Checker
Container-Checker