|
[HSV94]
L. Helmink, M. Sellink and F. Vaandrager.
Proof-checking a data link protocol.
In H. Barendregt and T. Nipkow (editors), Proc. International Workshop on Types for Proofs and Programs (TYPES'93), volume 806 of LNCS, pages 127--165, Springer.
1994.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|