@inproceedings{LHR97,
title = { Automatic Verification of Parameterized Linear Networks of Processes },
author = {Lesens, David and Halbwachs, Nicolas and Raymond, Pascal},
month = {jan},
year = {1997},
booktitle = {24th ACM Symposium on Principles of Programming Languages, POPL'97},
address = {Paris},
team = {SYNC},
}
