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

Contributor - Author	Bokor, Péter
Contributor - Author	Pataricza, András
Date - Accessioned	2021-07-28T11:35:00Z
Date - Available	2021-07-28T11:35:00Z
Date - Issued	2007
Identifier - URI	http://hdl.handle.net/10890/15621
Language	en
Title	A Novel Abstraction Approach to Model Check Distributed, Fault-tolerant Protocols
Type	könyvfejezet
Accessrights	Open access
Conference Date	February 5-6, 2007
Conference Place	Online
Conference Title	14th PhD Minisymposium of the Department of Measurement and Information Systems
Container Date Issued	2007
Container Identifier ISBN	978-963-420-895-2
Container Publisher	Budapest University of Technology and Economics
Container Publisher Place	Online
Container Title	Proceedings of the 14th PhD Minisymposium
Department	Department of Measurement and Information Systems
Description Version	Kiadói változat
Faculty	Faculty of Electrical Engineering and Informatics
First Page	62
Last Page	65
Type Type	Konferenciacikk
University	Budapest University of Technology and Economics

Files

Now showing 1 - 1 of 1