On algorithmic analysis of transcriptional regulation by LTL model checking: Concurrent Systems Biology To Nadia Busi (1968-2007)

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theoretical computer science 2009, Vol.410 (33-34), p.3128-3148
Hauptverfasser:	BARNAT, J, BRIM, L, CERNA, I, DRAZAN, S, FABRIKOVA, J, SAFRANEK, D
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithmics. Computability. Computer arithmetics Applied sciences Computer science control theory systems Exact sciences and technology General logic Logic and foundations Mathematical logic, foundations, set theory Mathematics Miscellaneous Sciences and techniques of general use Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:
ISSN:	0304-3975 1879-2294