@article{LHR01,
title = { Automatic Verification of Parameterized Networks of Processes },
author = {Lesens, David and Halbwachs, Nicolas and Raymond, Pascal},
year = {2001},
journal = {Theoretical Computer Science},
number = {1},
pages = {113--144},
volume = {256},
team = {SYNC},
}