3 search results - page 1 / 1 » Expand, Enlarge, and Check: New Algorithms for the Coverabil... |
JCSS
2006
13 years 4 months ago
2006
FSTTCS
2004
Springer
13 years 10 months ago
2004
Springer
CAV
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...