Scalable Model Checking of Quorum Consensus Protocols

Contributor - Author	Bokor, Péter
Contributor - Author	Pataricza, András
Date - Accessioned	2021-05-28T08:37:20Z
Date - Available	2021-05-28T08:37:20Z
Date - Issued	2008
Identifier - URI	http://hdl.handle.net/10890/15366
Language	en
Title	Scalable Model Checking of Quorum Consensus Protocols
Type	könyvfejezet
Accessrights	Open access
Conference Date	2008.02.04
Conference Place	Budapest
Conference Title	15th PhD Mini-Symposium
Container Date Issued	2008
Container Identifier ISBN	978-963-420-938-6
Container Publisher	Budapest University of Technology and Economics
Container Publisher Place	Online
Container Title	Proceedings of the 15th PhD Mini-Symposium
Department	Department of Measurement and Information Systems
Description Version	Published
Faculty	Faculty of Electrical Engineering and Informatics
First Page	20
Last Page	23
Type Type	Konferenciacikk
University	Budapest University of Technology and Economics

Files

Now showing 1 - 1 of 1