Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/nfm/JonesP17
%A Jones, Benjamin F.
%A Pike, Lee
%B NFM
%D 2017
%E Barrett, Clark W.
%E Davies, Misty D.
%E Kahsai, Temesghen
%K dblp
%P 163-177
%T Modular Model-Checking of a Byzantine Fault-Tolerant Protocol.
%U http://dblp.uni-trier.de/db/conf/nfm/nfm2017.html#JonesP17
%V 10227
%@ 978-3-319-57288-8
@inproceedings{conf/nfm/JonesP17,
added-at = {2017-05-25T00:00:00.000+0200},
author = {Jones, Benjamin F. and Pike, Lee},
biburl = {https://www.bibsonomy.org/bibtex/21bf2443dcf81cae01b11205879cc5116/dblp},
booktitle = {NFM},
crossref = {conf/nfm/2017},
editor = {Barrett, Clark W. and Davies, Misty D. and Kahsai, Temesghen},
ee = {https://doi.org/10.1007/978-3-319-57288-8_12},
interhash = {d03f0f07560ccf630bfc4b6d4d5895d8},
intrahash = {1bf2443dcf81cae01b11205879cc5116},
isbn = {978-3-319-57288-8},
keywords = {dblp},
pages = {163-177},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T23:35:29.000+0200},
title = {Modular Model-Checking of a Byzantine Fault-Tolerant Protocol.},
url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2017.html#JonesP17},
volume = 10227,
year = 2017
}