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

From MaRDI portal
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
(5 intermediate revisions by 3 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: ZBDD / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: SNOOPY / 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

Revision as of 05:17, 4 July 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