Relating timed and register automata (Q2971073)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Relating timed and register automata
scientific article

    Statements

    Identifiers