Timed Pushdown Automata Revisited (Q4635851)

From MaRDI portal
scientific article; zbMATH DE number 6863434
Language Label Description Also known as
English
Timed Pushdown Automata Revisited
scientific article; zbMATH DE number 6863434

    Statements

    title
    Timed Pushdown Automata Revisited (English)
    0 references
    DOI
    10.1109/LICS.2015.73
    0 references
    author
    Lorenzo Clemente
    0 references
    Sławomir Lasota
    0 references
    publication date
    23 April 2018
    0 references
    zbMATH DE Number
    6863434
    0 references
    arXiv ID
    1503.02422
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4635851&oldid=33676514"
    Powered by MediaWiki