@ARTICLE{
author={Marinkovic Bojan B,Ognjanovic Zoran D,Glavan Paola,Kos Anton,Umek Anton},
year={2020},
title={Correctness of the Chord Protocol},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={17},
number={1},
pages={141-160},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Bojan B,Glavan Paola,Ognjanovic Zoran D,Studer Thomas},
year={2019},
title={A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={29},
number={5},
pages={803-830},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Bojan B,Glavan Paola,Ognjanovic Zoran D},
year={2019},
title={Proving properties of the Chord protocol using the ASM formalism},
journal={THEORETICAL COMPUTER SCIENCE},
volume={756},
number={},
pages={64-93},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Bojan B,Ognjanovic Zoran D,Glavan Paola,Umek Anton},
year={2016},
title={Correctness of the Chord Protocol},
journal={2016 INTERNATIONAL CONFERENCE ON IDENTIFICATION, INFORMATION AND KNOWLEDGE IN THE INTERNET OF THINGS (IIKI)},
volume={},
number={},
pages={547-552},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Bojan B,Ciancaglini Vincenzo,Ognjanovic Zoran D,Glavan Paola,Liquori Luigi,Maksimovic Petar},
year={2015},
title={Analyzing the exhaustiveness of the Synapse protocol},
journal={PEER-TO-PEER NETWORKING AND APPLICATIONS},
volume={8},
number={5},
pages={793-806},
document_type={Article},
}