A Complete Abstract Interpretation Framework for Coverability Properties of WSTS | Publicación