Compositional verification of synchronous networks (1926)

by L Holenderski
Venue:in FTRTFT’2000