Sciweavers

Share
FSTTCS
2009
Springer

The Covering and Boundedness Problems for Branching Vector Addition Systems

10 years 4 months ago
The Covering and Boundedness Problems for Branching Vector Addition Systems
The covering and boundedness problems for branching vector addition systems are shown complete for doubly-exponential time.
Stéphane Demri, Marcin Jurdzinski, Oded Lac
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FSTTCS
Authors Stéphane Demri, Marcin Jurdzinski, Oded Lachish, Ranko Lazic
Comments (0)
books