Computation Tree Regular Logic for Genetic Regulatory Networks (Q3540063): Difference between revisions

@@ Property / describes a project that uses @@
+E-LOTOS
@@ Property / describes a project that uses: E-LOTOS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CADP
@@ Property / describes a project that uses: CADP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CAESAR_SOLVE
@@ Property / describes a project that uses: CAESAR_SOLVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DiVinE
@@ Property / describes a project that uses: DiVinE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Exp.Open
@@ Property / describes a project that uses: Exp.Open / 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.1007/978-3-540-88387-6_6
+Normal rank
@@ Property / OpenAlex ID @@
+W1491574517
@@ Property / OpenAlex ID: W1491574517 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling and querying biomolecular interaction networks
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+NuSMV: A new symbolic model checker
@@ Property / cites work: NuSMV: A new symbolic model checker / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical behaviour of biological regulatory networks. I: Biological role of feedback loops and practical use of the concept of the loop- characteristic state
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of looping and converse is elementarily decidable
+Normal rank
@@ Property / cites work @@
+Q3792217
@@ Property / cites work: Q3792217 / rank @@
+Normal rank
@@ Property / cites work @@
+Computation Tree Regular Logic for Genetic Regulatory Networks
+Normal rank
@@ Property / cites work @@
+Q4551164
@@ Property / cites work: Q4551164 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5452362
@@ Property / cites work: Q5452362 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time model-checking algorithm for the alternation-free modal mu- calculus
+Normal rank
@@ Property / cites work @@
+Model checking and boolean graphs
@@ Property / cites work: Model checking and boolean graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738368
@@ Property / cites work: Q4738368 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
+Normal rank
@@ Property / cites work @@
+Qualitative simulation of genetic regulatory networks using piecewise-linear models
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank