Parametric Interrupt Timed Automata (Q5168513)

From MaRDI portal
scientific article; zbMATH DE number 6313948
Language Label Description Also known as
English
Parametric Interrupt Timed Automata
scientific article; zbMATH DE number 6313948

    Statements