David Lesens, Nicolas Halbwachs, Pascal Raymond
Automatic Verification of Parameterized Linear Networks of Processes
POPL, 1997.
@inproceedings{POPL-1997-Halbwachs,
author = "David Lesens and Nicolas Halbwachs and Pascal Raymond",
booktitle = "{Conference Record of the 24th Symposium on Principles of Programming Languages}",
doi = "10.1145/263699.263747",
editor = "Peter Lee and Fritz Henglein and Neil D. Jones",
isbn = "0-89791-853-3",
pages = "346--357",
publisher = "{ACM Press}",
title = "{Automatic Verification of Parameterized Linear Networks of Processes}",
year = 1997,
}