TY  - RPRT
TI  - On parametrized verification of asynchronous, shared-memory pushdown systems
AU  - Marie Fortin
AU  - Anca Muscholl
AU  - Igor Walukiewicz
PY  - 2016
UR  - https://arxiv.org/abs/1606.08707
ID  - 1606.08707
ER  -