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

@@ Property / DOI @@
-.1016/j.tcs.2010.06.030
@@ Property / DOI: 10.1016/j.tcs.2010.06.030 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B44
@@ Property / Mathematics Subject Classification ID: 03B44 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C42
@@ Property / Mathematics Subject Classification ID: 92C42 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5914352
@@ Property / zbMATH DE Number: 5914352 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+biochemical networks
@@ Property / zbMATH Keywords: biochemical networks / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Petri nets
@@ Property / zbMATH Keywords: Petri nets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+interval decision diagrams
@@ Property / zbMATH Keywords: interval decision diagrams / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+CT
@@ Property / zbMATH Keywords: CT / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+CSL
@@ Property / zbMATH Keywords: CSL / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model checking
@@ Property / zbMATH Keywords: model checking / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMART_
@@ Property / describes a project that uses: SMART_ / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.TCS.2010.06.030
@@ Property / DOI: 10.1016/J.TCS.2010.06.030 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:548487