@misc{indiciae7d9fc912b26e,
  title = {Approaching the Coverability Problem Continuously},
  author = {Michael Blondin and Alain Finkel and Christoph Haase and Serge Haddad},
  year = {2016},
  doi = {10.1007/978-3-662-49674-9\_28},
  url = {https://arxiv.org/abs/1510.05724},
  note = {Source identifier: 1510.05724}
}