REAL
MagyarClear Cookie - decide language by browser settings

Automated protocol verification

Kovács, László (1985) Automated protocol verification. MTA SZTAKI KÖZLEMÉNYEK, 33. pp. 37-45. ISSN 0133-7459

[img]
Preview
 Text
3_real_SZTAKIKozlemenyek_33.pdf
Download (3MB) | Preview
Item Type: Article
Subjects: Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
Depositing User: Barbara Nagy
Date Deposited: 24 Oct 2023 09:09
Last Modified: 24 Oct 2023 09:09
URI: http://real.mtak.hu/id/eprint/177585

Actions (login required)

Edit Item Edit Item
EPrints Logo
Repository of the Academy's Library is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.