Items where Division is "Department of Distributed Systems" and Year is 1986

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Creators
Jump to: K | S
Number of items: 5.

K

DateAuthor/TitleDocument Type
1986Kovács, László
PROTEST: An Environment for Testing and Debugging of Communication Protocols
Conference or Workshop Item
1986Kovács, László and Ercsényi, András
Specification versus Implementation Based on ESTELLE
ISI Article
1986-08Kovács, László and Ercsényi, András
Specification versus Implementation Based on ESTELLE
ISI Article
1986Kovács, László and Harangozó, József
Protocol Verification System Based on MODULA-2 Language
Conference or Workshop Item

S

DateAuthor/TitleDocument Type
1986Szentner, János and Kovács, László and Harangozó, József
Formal Description, Verification and Implementation of Local Area Computer Network Transport Protocol
Conference or Workshop Item
This list was generated on Tue Nov 19 03:05:04 2024 CET.