Liknande verk
Liknande verk
-
Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
av: Hague, M, et al.
Publicerad: (2007) -
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
av: Matthew Hague, et al.
Publicerad: (2008-12-01) -
Reachability Analysis of Communicating Pushdown Systems
av: Alexander Heussner, et al.
Publicerad: (2012-09-01) -
Unboundedness and downward closures of higher-order pushdown automata
av: Hague, M, et al.
Publicerad: (2016) -
Reachability in pushdown register automata
av: Murawski, A, et al.
Publicerad: (2017)