Compositional Verification of Distributed Systems (1987)

by B Jonsson
Venue:Department of Computer Systems, Uppsala University