Items where Division is "Department of Distributed Systems" and Year is 1986
 | Up a level |
Jump to: ISI Article | Conference or Workshop Item
Number of items: 5.
ISI Article
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 1986 | Kovács, László and Ercsényi, András Specification versus Implementation Based on ESTELLE |  | ISI Article |
| 1986-08 | Kovács, László and Ercsényi, András Specification versus Implementation Based on ESTELLE | ISI Article |
Conference or Workshop Item
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 1986 | Kovács, László PROTEST: An Environment for Testing and Debugging of Communication Protocols | Conference or Workshop Item | |
| 1986 | Kovács, László and Harangozó, József Protocol Verification System Based on MODULA-2 Language | Conference or Workshop Item | |
| 1986 | Szentner, 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 |
