Items where Year is 1986

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

Department of Distributed Systems

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
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 Wed Aug 23 03:00:37 2017 CEST.