Verification of two communication protocols by means of process algebra
type: CreativeWork
type: ProductModel
type: Book
issued: 1986
about: p190396571
author: p075404001
author: p07206806X
description: Ook verschenen als proefschrift, Leiden
language: en
is part of: p840821077
main entity of page: https://data.bibliotheken.nl/.well-known/genid/9526463765bda5f4d928ec265c13c537
number of pages: 76
label: Verification of two communication protocols by means of process algebra / F.W. Vaandrager