REAL

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