TY  - RPRT
TI  - Under-approximating Cut Sets for Reachability in Large Scale Automata Networks
AU  - Loïc Paulevé
AU  - Geoffroy Andrieux
AU  - Heinz Koeppl
PY  - 2013
DO  - 10.1007/978-3-642-39799-8_4
UR  - https://arxiv.org/abs/1302.3365
ID  - 1302.3365
ER  -