Verification of a sliding window protocol by means of process algebra / Richard A. Groenveld - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Verification of a sliding window protocol by means of process algebra / Richard A. Groenveld

Verification of a sliding window protocol by means of process algebra / Richard A. Groenveld

http://data.bibliotheken.nl/id/nbt/p047740604

86905363750843b002158276d5d2566b

mainEntity

Verification of a sliding window protocol by means of process algebra / Richard A. Groenveld

http://data.bibliotheken.nl/id/nbt/p047740604

about

author

inLanguage

en

http://www.w3.org/2001/XMLSchema#string

isPartOf

Reports of the Programming Research Group, University of Amsterdam

mainEntityOfPage

86905363750843b002158276d5d2566b

name

Verification of a sliding window protocol by means of process algebra

http://www.w3.org/2001/XMLSchema#string

numberOfPages

114

http://www.w3.org/2001/XMLSchema#integer

publication

a610522bef46372fa0cd9f56a7a12644

sameAs

type

label

Verification of a sliding wind ...... algebra / Richard A. Groenveld

http://www.w3.org/2001/XMLSchema#string