%0 Conference Paper %1 conf/spin/JohnKSVW13 %A John, Annu %A Konnov, Igor %A Schmid, Ulrich %A Veith, Helmut %A Widder, Josef %B SPIN %D 2013 %E Bartocci, Ezio %E Ramakrishnan, C. R. %I Springer %K dblp %P 209-226 %T Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. %U http://dblp.uni-trier.de/db/conf/spin/spin2013.html#JohnKSVW13 %V 7976 %@ 978-3-642-39175-0

@inproceedings{conf/spin/JohnKSVW13, added-at = {2018-01-03T00:00:00.000+0100}, author = {John, Annu and Konnov, Igor and Schmid, Ulrich and Veith, Helmut and Widder, Josef}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b62350697568e49160e8ad2cfd813bdd/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2013}, editor = {Bartocci, Ezio and Ramakrishnan, C. R.}, ee = {https://doi.org/10.1007/978-3-642-39176-7_14}, interhash = {1993db92f77531db7270bb00b39c429b}, intrahash = {b62350697568e49160e8ad2cfd813bdd}, isbn = {978-3-642-39175-0}, keywords = {dblp}, pages = {209-226}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:02:31.000+0200}, title = {Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2013.html#JohnKSVW13}, volume = 7976, year = 2013 }