Regularity and quantification: a new approach to verify distributed protocols
Crossref DOI link: https://doi.org/10.1007/s11334-022-00460-8
Published Online: 2022-09-29
Published Print: 2023-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Goel, Aman http://orcid.org/0000-0003-0520-8890
Sakallah, Karem A.
Text and Data Mining valid from 2022-09-29
Version of Record valid from 2022-09-29
Article History
Received: 17 November 2021
Accepted: 6 June 2022
First Online: 29 September 2022