Matches in Harvard for { <http://id.lib.harvard.edu/aleph/004574898/catalog> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- catalog contributor b6479050.
- catalog created "1994.".
- catalog date "1994".
- catalog date "1994.".
- catalog dateCopyrighted "1994.".
- catalog description "Includes bibliographical references (p. 196-198).".
- catalog description "Ph. D. Uppsala University 1994".
- catalog extent "238 p. :".
- catalog isPartOf "Dissertation series (Swedish Institute of Computer Science) ; 15.".
- catalog isPartOf "DoCS (Uppsala Universitet. Department of Computer Systems) ; 94/46.".
- catalog isPartOf "DoCS, 0283-0574 ; 94/96".
- catalog isPartOf "SICS Dissertation Series, 1101-1335 ; 15".
- catalog issued "1994".
- catalog issued "1994.".
- catalog language "eng".
- catalog publisher "Uppsala : Dept. of Computer Systems, Uppsala University,".
- catalog subject "Computer network protocols.".
- catalog title "On the formal analysis of telecommunication protocols : a dissertation submitted for the degree of Doctor of Technology, Uppsala University, Department of Computer Systems, May 1994 / Fredrik Orava.".
- catalog type "text".