Tree dimension in verification of constrained Horn clauses (Q4644355): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Importer (talk | contribs)
Changed an Item
Property / arXiv ID
 
Property / arXiv ID: 1803.01448 / rank
 
Normal rank

Revision as of 19:30, 19 April 2024

scientific article; zbMATH DE number 6877190
Language Label Description Also known as
English
Tree dimension in verification of constrained Horn clauses
scientific article; zbMATH DE number 6877190

    Statements

    Tree dimension in verification of constrained Horn clauses (English)
    0 references
    0 references
    0 references
    0 references
    31 May 2018
    0 references
    specification
    0 references
    analysis and verification of systems
    0 references
    Horn clauses
    0 references
    tree dimension
    0 references
    0 references
    0 references

    Identifiers