On the formal analysis of telecommunication protocols /

Saved in:
Bibliographic Details
OCLC:59872150
Main Author: Orava, Fredrik
Corporate Authors: Uppsala universitet. Department of Computer Sysytems, Swedish Institute of Computer Science, Uppsala universitet
Language:English
Published: Uppsala : Department of Computer Systems, Uppsala University, 1994.
Series:Publication / Department of Computer Systems, Uppsala University ; 94/46.
Format:

Thesis Monograph

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

Borrow this resource

Item List

Description Local Call Number Status
P-00569958 Available

Similar Items