Expand, Enlarge, and Check for Branching Vector Addition Systems

Majumdar, Rupak and Wang, Zilong
(2013) Expand, Enlarge, and Check for Branching Vector Addition Systems.
In: Proc. of the 24th International Conference on Concurrency Theory (CONCUR 2013).
Conference: CONCUR - International Conference on Concurrency Theory

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item