Augmenting the discrete timed automaton with other data structures. (Q1853524)

From MaRDI portal
Revision as of 04:55, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Augmenting the discrete timed automaton with other data structures.
scientific article

    Statements

    Augmenting the discrete timed automaton with other data structures. (English)
    0 references
    0 references
    0 references
    21 January 2003
    0 references

    Identifiers