TY  - RPRT
TI  - A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
AU  - Ahmed Bouajjani
AU  - Cezara Dragoi
AU  - Constantin Enea
AU  - Yan Jurski
AU  - Mihaela Sighireanu
PY  - 2009
DO  - 10.2168/lmcs-5(2:3)2009
UR  - https://arxiv.org/abs/0903.3126
ID  - 0903.3126
ER  -