TY  - RPRT
TI  - Approaching the Coverability Problem Continuously
AU  - Michael Blondin
AU  - Alain Finkel
AU  - Christoph Haase
AU  - Serge Haddad
PY  - 2016
DO  - 10.1007/978-3-662-49674-9_28
UR  - https://arxiv.org/abs/1510.05724
ID  - 1510.05724
ER  -