Checking Timed Büchi Automata Emptiness Using LU-Abstractions (Q3648834)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Checking Timed Büchi Automata Emptiness Using LU-Abstractions
scientific article

    Statements

    Identifiers