On the formal analysis of telecommunication protocols /

Enregistré dans:
Détails bibliographiques
OCLC:59872150
Auteur principal: Orava, Fredrik
Collectivités auteurs: Uppsala universitet. Department of Computer Sysytems, Swedish Institute of Computer Science, Uppsala universitet
Langue:English
Publié: Uppsala : Department of Computer Systems, Uppsala University, 1994.
Collection:Publication / Department of Computer Systems, Uppsala University ; 94/46.
Format:

Thèse Monograph

Note that CRL will digitize material from the collection when copyright allows.

Borrow this resource

Item List

Description Local Call Number Statut
P-00569958 Disponible

Documents similaires