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: 8.

ISI Article

DateAuthor/TitleDocument Type
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

Article

DateAuthor/TitleDocument Type
1986Kornai, András
Logical types and linguistic types
Article

Book Section

DateAuthor/TitleDocument Type
1986Kornai, András
X-BAR GRAMMARS
Book Section

Conference or Workshop Item

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 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

Other

DateAuthor/TitleDocument Type
1986Kornai, András
SZÓTÁRI ADATBÁZIS AZ AKADÉMIAI NAGYSZÁMITÓGÉPEN
Other
This list was generated on Thu Feb 25 03:00:40 2021 CET.