Model checking the evolution of gene regulatory networks

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: Acta Informatica ; 54 (2017), 8. - S. 765-787. - ISSN 0001-5903. - eISSN 1432-0525

Klassifikation
Biowissenschaften, Biologie

Ereignis
Veröffentlichung
(wo)
Konstanz
(wer)
Bibliothek der Universität Konstanz
(wann)
2017
Urheber
Giacobbe, Mirco
Guet, Călin C.
Gupta, Ashutosh
Henzinger, Thomas
Paixão, Tiago
Petrov, Tatjana

URN
urn:nbn:de:bsz:352-2-egxwg6wqgydt8
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:55 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Giacobbe, Mirco
  • Guet, Călin C.
  • Gupta, Ashutosh
  • Henzinger, Thomas
  • Paixão, Tiago
  • Petrov, Tatjana
  • Bibliothek der Universität Konstanz

Entstanden

  • 2017

Ähnliche Objekte (12)

Model checking the evolution of gene regulatory networks

Model checking the evolution of gene regulatory networks

Model checking optimal finite-horizon control for probabilistic gene regulatory networks

Model checking optimal finite-horizon control for probabilistic gene regulatory networks

Symbolic Causality Checking Using Bounded Model Checking

Symbolic Causality Checking Using Bounded Model Checking

Symbolic Causality Checking Using Bounded Model Checking

Symbolic Causality Checking Using Bounded Model Checking

First-Order Model-Checking in Random Graphs and Complex Networks

First-Order Model-Checking in Random Graphs and Complex Networks

Model composition in model checking

Hochschulschrift

Model composition in model checking

Model composition in model-checking

Hochschulschrift

Model composition in model-checking

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking pushdown systems

Hochschulschrift

Model checking pushdown systems

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Verbundene Objekte