G
[GRV06] Gilles Geeraerts, Jean-François Raskin, and Laurent Van Begin. Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS. Journal of Computer and System Sciences 72(1):180-203. Elsevier, February 2006. 
@article{jcss72(1)-GRV,
  author =              {Geeraerts, Gilles and Raskin, Jean-Fran{\c c}ois and
                         Van{~}Begin, Laurent},
  title =               {Expand, Enlarge and Check: New algorithms for the
                         coverability problem of~{WSTS}},
  publisher =           {Elsevier},
  journal =             {Journal of Computer and System Sciences},
  volume =              {72},
  number =              {1},
  pages =               {180-203},
  year =                {2006},
  month =               feb,
}
List of authors