On algorithmic analysis of transcriptional regulation by LTL model checking (Q2271449): Difference between revisions

@@ Property / describes a project that uses @@
+RoVerGeNe
@@ Property / describes a project that uses: RoVerGeNe / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BIOCHAM
@@ Property / describes a project that uses: BIOCHAM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2009.02.017
+Normal rank
@@ Property / OpenAlex ID @@
+W2065630126
@@ Property / OpenAlex ID: W2065630126 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
+Normal rank
@@ Property / cites work @@
+Model Checking Genetic Regulatory Networks with Parameter Uncertainty
+Normal rank
@@ Property / cites work @@
+Model Checking Liveness Properties of Genetic Regulatory Networks
+Normal rank
@@ Property / cites work @@
+Controlling a Class of Nonlinear Systems on Rectangles
+Normal rank
@@ Property / cites work @@
+Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
+Normal rank
@@ Property / cites work @@
+Q4426370
@@ Property / cites work: Q4426370 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413225
@@ Property / cites work: Q4413225 / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative simulation of the initiation of sporulation in \textit{Bacillus subtilis}
+Normal rank
@@ Property / cites work @@
+Qualitative simulation of genetic regulatory networks using piecewise-linear models
+Normal rank
@@ Property / cites work @@
+Q3994508
@@ Property / cites work: Q3994508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771062
@@ Property / cites work: Q2771062 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
+Normal rank
@@ Property / cites work @@
+Dynamical behaviour of biological regulatory networks. II: Immunity control in bacteriophage lambda
+Normal rank