Proof-checking a data link protocol

Authors
  • L. Helmink
  • M.P.A. Sellink
  • F.W. Vaandrager
Publication date 1994
Host editors
  • T. Nipkow
  • H. Barendregt
Book title Proceedings International Workshop TYPES'93, Nijmegen, The Netherlands, May 1993
Series LNCS, 806
Pages (from-to) 127-165
Publisher Berlin: Springer Verlag
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back