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

From MaRDI portal
Changed an Item
Normalize DOI.
 
(5 intermediate revisions by 5 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.tcs.2010.06.030 / rank
Normal rank
 
Property / describes a project that uses
 
Property / describes a project that uses: DSSZ-MC / 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.tcs.2010.06.030 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2166483698 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2754096 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Petri nets for modelling metabolic pathways: a survey / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graph-Based Algorithms for Boolean Function Manipulation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symbolic model checking: \(10^{20}\) states and beyond / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4413220 / 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: Q3045255 / rank
 
Normal rank
Property / cites work
 
Property / cites work: From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theoretical computer science. Petri nets. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4324960 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Depth-First Search and Linear Graph Algorithms / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.TCS.2010.06.030 / rank
 
Normal rank

Latest revision as of 21:12, 9 December 2024

scientific article
Language Label Description Also known as
English
IDD-based model validation of biochemical networks
scientific article

    Statements

    IDD-based model validation of biochemical networks (English)
    0 references
    0 references
    0 references
    28 June 2011
    0 references
    biochemical networks
    0 references
    Petri nets
    0 references
    interval decision diagrams
    0 references
    CT
    0 references
    CSL
    0 references
    model checking
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references