Proof-checking a data link protocol (1993)

by L. Helmink , M. P. A. Sellink , F. W. Va
Citations:55 - 8 self