Show simple item record

Bokor, Péter
Pataricza, András
2021-05-04T08:21:24Z
2021-05-04T08:21:24Z
http://hdl.handle.net/10890/15342
en
On Using Abstraction to Model Check Distributed Diagnostic Protocols
könyvfejezet
Published
Open access
Faculty of Electrical Engineering and Informatics
2006.02.06
Budapest
Department of Measurement and Information Systems
Budapest University of Technology and Economics
963 420 853 3
Budapest University of Technology and Economics
Online
Proceedings of the 13th PhD Mini-Symposium
Konferenciacikk
13th PhD Mini-Symposium
64
65


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record