%0 Conference Paper %1 conf/ershov/KonnovVW15 %A Konnov, Igor V. %A Veith, Helmut %A Widder, Josef %B Ershov Memorial Conference %D 2015 %E Mazzara, Manuel %E Voronkov, Andrei %I Springer %K dblp %P 6-21 %T What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms. %U http://dblp.uni-trier.de/db/conf/ershov/ershov2015.html#KonnovVW15 %V 9609 %@ 978-3-319-41578-9

@inproceedings{conf/ershov/KonnovVW15, added-at = {2018-01-03T00:00:00.000+0100}, author = {Konnov, Igor V. and Veith, Helmut and Widder, Josef}, biburl = {https://www.bibsonomy.org/bibtex/2fa8bd7516100c4254fef6eff80a8160a/dblp}, booktitle = {Ershov Memorial Conference}, crossref = {conf/ershov/2015}, editor = {Mazzara, Manuel and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-319-41579-6_2}, interhash = {f4c56a21fde4db02dfda0c2288447c1d}, intrahash = {fa8bd7516100c4254fef6eff80a8160a}, isbn = {978-3-319-41578-9}, keywords = {dblp}, pages = {6-21}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:07:00.000+0200}, title = {What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2015.html#KonnovVW15}, volume = 9609, year = 2015 }