No. Title Author Year
1 On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems Penelle, Vincent et al. 2018
2 Reachability for Two-Counter Machines with One Test and One Reset Finkel, Alain et al. 2018
3 Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One Figueira, Diego et al. 2017
4 Safety Verification of Communicating One-Counter Machines Heußner, Alexander et al. 2012
5 Flat counter automata almost everywhere! Leroux, Jérôme et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI