| |
| 2009 | ||
|---|---|---|
| 1 | EE | Ahmed Bouajjani, Cezara Druagoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu: A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes CoRR abs/0903.3126: (2009) |
| 1 | Ahmed Bouajjani | [1] |
| 2 | Constantin Enea | [1] |
| 3 | Yan Jurski | [1] |
| 4 | Mihaela Sighireanu | [1] |