%0 Conference Paper %1 conf/cav/BerkovitsLLPS19 %A Berkovits, Idan %A Lazic, Marijana %A Losa, Giuliano %A Padon, Oded %A Shoham, Sharon %B CAV (2) %D 2019 %E Dillig, Isil %E Tasiran, Serdar %I Springer %K dblp %P 245-266 %T Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics. %U http://dblp.uni-trier.de/db/conf/cav/cav2019-2.html#BerkovitsLLPS19 %V 11562 %@ 978-3-030-25543-5

@inproceedings{conf/cav/BerkovitsLLPS19, added-at = {2019-08-20T00:00:00.000+0200}, author = {Berkovits, Idan and Lazic, Marijana and Losa, Giuliano and Padon, Oded and Shoham, Sharon}, biburl = {https://www.bibsonomy.org/bibtex/247ec6db7012774541b275768298b0dd9/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2019-2}, editor = {Dillig, Isil and Tasiran, Serdar}, ee = {https://doi.org/10.1007/978-3-030-25543-5_15}, interhash = {a1da65f2bdfc9127e8e755f8cfd58f01}, intrahash = {47ec6db7012774541b275768298b0dd9}, isbn = {978-3-030-25543-5}, keywords = {dblp}, pages = {245-266}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T11:57:16.000+0200}, title = {Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2019-2.html#BerkovitsLLPS19}, volume = 11562, year = 2019 }