A formal verification of the alternating bit protocol in the calculus of constructions / Marc Bezem, Jan Friso Groote
type: ProductModel
type: Book
type: CreativeWork
is part of: p864503024
main entity of page: https://data.bibliotheken.nl/.well-known/genid/f5f8df490bdf8e97be8eb394254f9494
name: A formal verification of the alternating bit protocol in the calculus of constructions
about: p075603233
author: p07223346X
author: p075396319
contributor: p075010259
language: en
number of pages: 26
issued: 1993