Items where Year is 1984
 | Up a level |
Number of items: 2.
Department of Distributed Systems
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 1984-10 | Kovács, László Atomated Protocol Verification | Conference or Workshop Item |
Informatics Laboratory
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 1984 | Kornai, András Formális stúdiumok | Book |
