Static analysis of IMC (Q444504): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 5 users not shown) | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68Q85 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6065766 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
process algebras | |||
Property / zbMATH Keywords: process algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
data flow analysis | |||
Property / zbMATH Keywords: data flow analysis / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
pathway analysis | |||
Property / zbMATH Keywords: pathway analysis / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
IMC | |||
Property / zbMATH Keywords: IMC / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jlap.2012.03.011 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2026788619 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q59416325 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4547767 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Interactive Markov chains. And the quest for quantified quality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3777424 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monotone data flow analysis frameworks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modal Abstractions of Concurrent Behaviour / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4255591 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Data Flow Analysis for CCS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pathway analysis for BioAmbients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: BioAmbients: an abstraction for biological compartments / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reachability for Finite-State Process Algebras Using Static Analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Static analysis of IMC / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:09, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Static analysis of IMC |
scientific article |
Statements
Static analysis of IMC (English)
0 references
14 August 2012
0 references
process algebras
0 references
data flow analysis
0 references
pathway analysis
0 references
IMC
0 references
0 references