19 search results - page 1 / 4 » rp 2009 |
114
Voted
RP
2009
Springer
15 years 11 months ago
2009
Springer
146
Voted
RP
2009
Springer
15 years 11 months ago
2009
Springer
130
Voted
RP
2009
Springer
15 years 11 months ago
2009
Springer
In [13], Yen defines a class of formulas for paths in Petri nets and claims that its satisfiability problem is EXPSPACE-complete. In this paper, we show that in fact the satisfi...