%0 Journal Article %1 journals/corr/abs-2208-12400 %A Jaber, Nouraldin %A Wagner, Christopher %A Jacobs, Swen %A Kulkarni, Milind %A Samanta, Roopsha %D 2022 %J CoRR %K dblp %T Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification. %U http://dblp.uni-trier.de/db/journals/corr/corr2208.html#abs-2208-12400 %V abs/2208.12400

@article{journals/corr/abs-2208-12400, added-at = {2022-08-30T00:00:00.000+0200}, author = {Jaber, Nouraldin and Wagner, Christopher and Jacobs, Swen and Kulkarni, Milind and Samanta, Roopsha}, biburl = {https://www.bibsonomy.org/bibtex/27d67e324aaa1d4a5c9f5696d6c521a14/dblp}, ee = {https://doi.org/10.48550/arXiv.2208.12400}, interhash = {f1a8d5954ddb01793ac2d37706ea9420}, intrahash = {7d67e324aaa1d4a5c9f5696d6c521a14}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:16:28.000+0200}, title = {Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2208.html#abs-2208-12400}, volume = {abs/2208.12400}, year = 2022 }