@inproceedings{BFHH16,
  author    = {Michael Blondin and Alain Finkel and Christoph Haase
                  and Serge Haddad},
  title     = {Approaching the Coverability Problem Continuously},
  booktitle = {Proc.\ $\text{22}^\text{nd}$ International Conference on
                  Tools and Algorithms for the Construction and
                  Analysis of Systems ({TACAS})},
  pages     = {480--496},
  doi       = {10.1007/978-3-662-49674-9_28},
  year      = {2016}
}