Automatically verified data transfer protocols (1978)

by J Hajek
Venue:Proc. 4th Int’l Computer Communications Conference