Login / Signup

The covering and boundedness problems for branching vector addition systems.

Stéphane DemriMarcin JurdzinskiOded LachishRanko Lazic
Published in: J. Comput. Syst. Sci. (2013)
Keyphrases