"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1471-2105
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
"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
- Urheber
-
Arellano, Gustavo
- Beteiligte Personen und Organisationen
-
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
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:33 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- 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)
Ähnliche Objekte (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