- Minimal Coverability Tree Construction Made Complete and Efficient Alain Finkel Serge Haddad Igor Khmelnitsky Mon 16 March 2020
- Co-finiteness of VASS coverability languages Diego Figueira Sun 22 December 2019
- Coverability in a NonFunctional Extension of BVASS Paulin Jacobé De Naurois Fri 02 June 2017
- Karp-Miller Trees for a Branching Extension of VASS Kumar Neeraj Verma Jean Goubault-Larrecq Thu 01 June 2017
- The Ideal View on Rackoff's Coverability Technique Ranko Lazić Sylvain Schmitz Fri 24 July 2015
- On the Decidability Status of Reachability and Coverability in Graph Transformation Systems Nathalie Bertrand Giorgio Delzanno Barbara Kønig Arnaud Sangnier Jan Stuckrath Tue 18 December 2012
Library Size: 13G (6 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
