Static analysis of IMC (Q444504): Difference between revisions

@@ 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.jlap.2012.03.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2026788619
@@ Property / OpenAlex ID: W2026788619 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59416325
@@ Property / Wikidata QID: Q59416325 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547767
@@ Property / cites work: Q4547767 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Monotone data flow analysis frameworks
@@ Property / cites work: Monotone data flow analysis frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Abstractions of Concurrent Behaviour
@@ Property / cites work: Modal Abstractions of Concurrent Behaviour / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Flow Analysis for CCS
@@ Property / cites work: Data Flow Analysis for CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Pathway analysis for BioAmbients
@@ Property / cites work: Pathway analysis for BioAmbients / rank @@
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+Reachability for Finite-State Process Algebras Using Static Analysis
+Normal rank
@@ Property / cites work @@
+Static analysis of IMC
@@ Property / cites work: Static analysis of IMC / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:444504