Automatic verification of parameterized linear networks of processes (1997)

by D Lesens, N Halbwachs, P Raymond
Venue:In 24th ACM Symposium on Principles of Programming Languages, POPL'97