19 search results - page 1 / 4 » rp 2009 |
RP
2009
Springer
15 years 9 months ago
2009
Springer
RP
2009
Springer
15 years 9 months ago
2009
Springer
118
click to vote
RP
2009
Springer
15 years 9 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...