Automatically verified data transfer protocols (1978)

by J Hajek
Venue:In Computer Communications (ICCC’78