DMCA

Approaching the Coverability Problem Continuously

by Michael Blondin , Alain Finkel , Christoph Haase , Serge Haddad