Reasoning about XML with temporal logics and automata (Q975873): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1016/j.jal.2009.09.005 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.JAL.2009.09.005 / rank
 
Normal rank

Latest revision as of 10:52, 10 December 2024

scientific article
Language Label Description Also known as
English
Reasoning about XML with temporal logics and automata
scientific article

    Statements

    Reasoning about XML with temporal logics and automata (English)
    0 references
    0 references
    0 references
    11 June 2010
    0 references
    query automata
    0 references
    static analysis
    0 references
    temporal logics
    0 references
    XML
    0 references

    Identifiers