On the formal analysis of telecommunication protocols /

Spremljeno u:
Bibliografski detalji
OCLC:59872150
Glavni autor: Orava, Fredrik
Autori kompanije: Uppsala universitet. Department of Computer Sysytems, Swedish Institute of Computer Science, Uppsala universitet
Jezik:English
Izdano: Uppsala : Department of Computer Systems, Uppsala University, 1994.
Serija:Publication / Department of Computer Systems, Uppsala University ; 94/46.
Format:

Disertacija Monograph

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

Borrow this resource

Item List

Opis Local Call Number Status
P-00569958 Dostupno

Similar Items