Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE (Q2870296): Difference between revisions

@@ 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 @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
+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 @@
+Q4417996
@@ Property / cites work: Q4417996 / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative simulation of genetic regulatory networks using piecewise-linear models
+Normal rank
@@ Property / cites work @@
+Q2771062
@@ Property / cites work: Q2771062 / rank @@
+Normal rank
@@ Property / cites work @@
+A class of piecewise linear differential equations arising in biological models
+Normal rank
@@ Property / cites work @@
+Q5472942
@@ Property / cites work: Q5472942 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical behaviour of biological regulatory networks. II: Immunity control in bacteriophage lambda
+Normal rank