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.
DateAuthor/TitleDocument Type
1986Kornai, András
Logical types and linguistic types
Article
1986Kornai, András
SZÓTÁRI ADATBÁZIS AZ AKADÉMIAI NAGYSZÁMITÓGÉPEN
Other
1986Kornai, András
X-BAR GRAMMARS
Book Section
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 Thu Mar 28 03:00:58 2024 CET.