IDD-based model validation of biochemical networks (Q548487): Difference between revisions

@@ Property / describes a project that uses @@
+ZBDD
@@ Property / describes a project that uses: ZBDD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SNOOPY
@@ Property / describes a project that uses: SNOOPY / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DSSZ-MC
@@ Property / describes a project that uses: DSSZ-MC / 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.2010.06.030
+Normal rank
@@ Property / OpenAlex ID @@
+W2166483698
@@ Property / OpenAlex ID: W2166483698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754096
@@ Property / cites work: Q2754096 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets for modelling metabolic pathways: a survey
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Q4413220
@@ Property / cites work: Q4413220 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q3045255
@@ Property / cites work: Q3045255 / rank @@
+Normal rank
@@ Property / cites work @@
+From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis
+Normal rank
@@ Property / cites work @@
+Theoretical computer science. Petri nets.
@@ Property / cites work: Theoretical computer science. Petri nets. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank