Stéphane Demri, Marcin Jurdzinski, Oded Lachish, Ranko Lazic. The covering and boundedness problems for branching vector addition systems. J. Comput. Syst. Sci., 79(1):23-38, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.