Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS.

Gilles Geeraerts Jean-François Raskin Laurent Van Begin Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS. 180-203 2006 72 J. Comput. Syst. Sci. 1 http://dx.doi.org/10.1016/j.jcss.2005.09.001 db/journals/jcss/jcss72.html#GeeraertsRB06