Verifying Network Protocols Using Temporal Logic (1980)

by B Hailpern, S Owicki
Venue:Proc. Trends and Applications 1980: Computer Networks, IEEE Computer Society