@inproceedings{BFHH16,
  title = "Approaching the Coverability Problem Continuously",
  author = "Michael Blondin and Alain Finkel and Christoph Haase and Serge Haddad",
  year = "2016",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems, {TACAS}",
  pages = "480--496",
  publisher = "Springer",
  series = "Lect. Notes Comp. Sci.",
  volume = "9636",
  doi = "10.1007/978-3-662-49674-9\_28",
}