Searching for "Proof-Checking a Data Link Protocol." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Proof-Checking a Data Link Protocol
by L. Helmink, F. W. Vaandrager — 1993 — Proceedings International Workshop TYPES'93
…Proof-Checking a Data Link Protocol ? L. Helmink 1 , M.P.A. Sellink 2 , F.W. Vaandrager 3 1…
Cited by 54 (8 self) – Add To MetaCart

Informal Proceedings Of The 1993 Workshop On Types For Proofs And Programs, Nijmegen
by Herman Geuvers (ed.) — 1993
… : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 157 L. Helmink, M. Sellink and F. Vaandrager Proof-Checking a Data Link Protocol 173 M. Hofmann…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB