Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants | Digital Library | PAMCET

Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants | Digital Library | PAMCET | PAMCET