On the formal analysis of telecommunication protocols
By: Fredrik Orava
Contributors: Uppsala universitet. Department of Computer Sysytems; Swedish Institute of Computer Science; Uppsala universitet
Series: Publication / Department of Computer Systems, Uppsala University -- 94/46
Publisher: Department of Computer Systems, Uppsala University
Published: 1994
Place of publication: Uppsala
Language: eng
Number of pages: 238
Notes: Thesis (doctoral)--Uppsala University, 1994.