Static analysis of IMC (Q444504): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q59416325, #quickstatements; #temporary_batch_1712201099914
ReferenceBot (talk | contribs)
Changed an Item
 
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

Latest revision as of 13:09, 5 July 2024

scientific article
Language Label Description Also known as
English
Static analysis of IMC
scientific article

    Statements

    Identifiers