A Novel Abstraction Approach to Model Check Distributed, Fault-tolerant Protocols

Author	Bokor, Péter
Author	Pataricza, András
Date accessioned	2021-07-28T11:35:00Z
Date available	2021-07-28T11:35:00Z
Date of issue	2007
URI of identifier	http://hdl.handle.net/10890/15621
Language	en
Title	A Novel Abstraction Approach to Model Check Distributed, Fault-tolerant Protocols
Document type	könyvfejezet
Version	Kiadói változat
Access level	Open access
Faculty	Faculty of Electrical Engineering and Informatics
Conference date	February 5-6, 2007
Conference place	Online
Department	Department of Measurement and Information Systems
University	Budapest University of Technology and Economics
Date Issued	2007
ISBN, e-ISBN	978-963-420-895-2
Publisher	Budapest University of Technology and Economics
Publisher place	Online
Title of the container document	Proceedings of the 14th PhD Minisymposium
Document genre	Konferenciacikk
Conference title	14th PhD Minisymposium of the Department of Measurement and Information Systems
First page	62
Last page	65

BME MIT PhD Minisymposium, 2007, 14th [34]
14th Minisymposium of the Department of Measurement and Information Systems