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

Saved in:
Bibliographic Details
Published in:Theoretical computer science 2009, Vol.410 (33-34), p.3128-3148
Main Authors: BARNAT, J, BRIM, L, CERNA, I, DRAZAN, S, FABRIKOVA, J, SAFRANEK, D
Format: Article
Language:English
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0304-3975
1879-2294