Sciweavers

23
Voted
JCSS
2006

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

13 years 11 months ago
Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS
Gilles Geeraerts, Jean-François Raskin, Lau
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JCSS
Authors Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
Comments (0)