On the formal analysis of telecommunication protocols /

שמור ב:
מידע ביבליוגרפי
OCLC:59872150
מחבר ראשי: Orava, Fredrik
Corporate Authors: Uppsala universitet. Department of Computer Sysytems, Swedish Institute of Computer Science, Uppsala universitet
שפה:English
יצא לאור: Uppsala : Department of Computer Systems, Uppsala University, 1994.
סדרה:Publication / Department of Computer Systems, Uppsala University ; 94/46.
פורמט:

Thesis Monograph

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

Borrow this resource

Item List

תיאור Local Call Number סטטוס
P-00569958 זמין

פריטים דומים