On Symmetry and Quantification: A New Approach to Verify Distributed Protocols. Goel, A. & Sakallah, K. A. In 13th Annual NASA Formal Methods Symposium (NFM 2021), pages 131-150, Langley, Virginia, May, 2021. ![On Symmetry and Quantification: A New Approach to Verify Distributed Protocols [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex 50 downloads @inproceedings{goel2021symmetry,
author = {Goel, Aman and Sakallah, Karem A.},
title = {{On Symmetry and Quantification: A New Approach to Verify Distributed Protocols}},
booktitle = {13th Annual NASA Formal Methods Symposium (NFM 2021)},
address = {Langley, Virginia},
pages = {131-150},
month = {May},
year = {2021},
url={https://arxiv.org/abs/2103.14831},
doi={https://doi.org/10.1007/978-3-030-76384-8_9}
}
Downloads: 50
{"_id":"SbMtmEwPyC5fmc3p9","bibbaseid":"goel-sakallah-onsymmetryandquantificationanewapproachtoverifydistributedprotocols-2021","author_short":["Goel, A.","Sakallah, K. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Goel"],"firstnames":["Aman"],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]}],"title":"On Symmetry and Quantification: A New Approach to Verify Distributed Protocols","booktitle":"13th Annual NASA Formal Methods Symposium (NFM 2021)","address":"Langley, Virginia","pages":"131-150","month":"May","year":"2021","url":"https://arxiv.org/abs/2103.14831","doi":"https://doi.org/10.1007/978-3-030-76384-8_9","bibtex":"@inproceedings{goel2021symmetry,\n author = {Goel, Aman and Sakallah, Karem A.},\n title = {{On Symmetry and Quantification: A New Approach to Verify Distributed Protocols}},\n booktitle = {13th Annual NASA Formal Methods Symposium (NFM 2021)},\n address = {Langley, Virginia},\n pages = {131-150},\n month = {May},\n year = {2021},\n url={https://arxiv.org/abs/2103.14831},\n doi={https://doi.org/10.1007/978-3-030-76384-8_9}\n}\n\n","author_short":["Goel, A.","Sakallah, K. A."],"key":"goel2021symmetry","id":"goel2021symmetry","bibbaseid":"goel-sakallah-onsymmetryandquantificationanewapproachtoverifydistributedprotocols-2021","role":"author","urls":{"Paper":"https://arxiv.org/abs/2103.14831"},"metadata":{"authorlinks":{}},"downloads":50},"bibtype":"inproceedings","biburl":"http://web.eecs.umich.edu/~karem/publications/Sakallah-Publications.bib","dataSources":["dAWPbXiJP4ihEN4GZ"],"keywords":[],"search_terms":["symmetry","quantification","new","approach","verify","distributed","protocols","goel","sakallah"],"title":"On Symmetry and Quantification: A New Approach to Verify Distributed Protocols","year":2021,"downloads":50}