@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},

}