Folk theorems on the determinization and minimization of timed automata (Q845728): Difference between revisions

From MaRDI portal
Normalize DOI.
Import241208061232 (talk | contribs)
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1016/J.IPL.2006.04.015 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.IPL.2006.04.015 / rank
 
Normal rank

Latest revision as of 05:07, 10 December 2024

scientific article
Language Label Description Also known as
English
Folk theorems on the determinization and minimization of timed automata
scientific article

    Statements

    Folk theorems on the determinization and minimization of timed automata (English)
    0 references
    0 references
    29 January 2010
    0 references
    formal methods
    0 references
    specification languages
    0 references
    timed automata
    0 references
    determinization
    0 references
    decidability
    0 references

    Identifiers