An experience in proving regular networks of processes by modular model checking (1992)

by N Halbwachs, F Lagnier, C Ratel
Venue:Acta Informatica