What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms (bibtex)
by Igor Konnov, Helmut Veith, Josef Widder
Reference:
What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed AlgorithmsIgor Konnov, Helmut Veith, Josef WidderPerspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers (Manuel Mazzara, Andrei Voronkov, eds.), volume 9609 of LNCS, pages 6-21, 2016, Springer International Publishing.
Bibtex Entry:
@inproceedings{KVW16:psi,
author="Konnov, Igor
and Veith, Helmut
and Widder, Josef",
editor="Mazzara, Manuel
and Voronkov, Andrei",
title="What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms",
booktitle="Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers",
year="2016",
publisher="Springer International Publishing",
address="Cham",
pages="6--21",
series={LNCS},
volume={9609},
  url={http://forsyte.at/download/kvw-psi15.pdf},
}
Powered by bibtexbrowser