On the formal analysis of telecommunication protocols /

Guardado en:
Detalles Bibliográficos
OCLC:59872150
Autor principal: Orava, Fredrik
Autores Corporativos: Uppsala universitet. Department of Computer Sysytems, Swedish Institute of Computer Science, Uppsala universitet
Lenguaje:English
Publicado: Uppsala : Department of Computer Systems, Uppsala University, 1994.
Colección:Publication / Department of Computer Systems, Uppsala University ; 94/46.
Formato:

Tesis Monograph

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

Borrow this resource

Item List

Descripción Local Call Number Estado
P-00569958 Disponible

Ejemplares similares