@InProceedings{GRV04, author = {Geeraerts, G. and Raskin, J.-F. and {Van~Begin}, L.}, title = {{E}xpand, {E}nlarge and {C}heck: new algorithms for the coverability problem of {WSTS}}, booktitle = {Proceedings of FSTTCS'04, 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, Chennai, India}, year = {2004}, volume = {3328}, series = {{L}ecture {N}otes in {C}omputer {S}cience}, publisher = {{S}pringer-{V}erlag}, pages = {287--298}, editor = {{K}amal {L}odoya and {M}eena {M}ahajan}, url = {http://www.ulb.ac.be/di/ssd/ggeeraer/papers/eec.pdf}, }