Skip to Main Content
Search
Collections
Deposit
About
Log In
Search
Items (1)
Collections
Communities
Skip to Search Results
Filter
Close
Author / Creator / Contributor
1
Adria, John P.
Subject / Keyword
1
Computer network protocols
1
Data transmission systems
1
MIZAR-2 (Computer language)
Year
to
Collections
1
Graduate and Postdoctoral Studies (GPS), Faculty of
1
Graduate and Postdoctoral Studies (GPS), Faculty of/Theses and Dissertations
Languages
1
English
Item type
1
Thesis
Departments
1
Department of Computing Science
Sort by
Title (A-Z)
Title (Z-A)
Date (newest first)
Date (oldest first)
Relevance
Filter results
Author: Adria, John P.
Subject: Data transmission systems
Subject: MIZAR-2 (Computer language)
Verifying communication protocols in MIZAR-2
Download
1989
Adria, John P.
1 - 1 of 1