Crossmark

Para $$^2$$ 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms

Crossref DOI link: https://doi.org/10.1007/s10703-017-0297-4

Published Online: 2017-09-20

Published Print: 2017-11

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Konnov, Igor http://orcid.org/0000-0001-6629-3377
Lazić, Marijana http://orcid.org/0000-0002-9222-6191
Veith, Helmut

Widder, Josef http://orcid.org/0000-0003-2795-611X
Funding

Funding for this research was provided by:

Austrian Science Fund (S11403, S11405)

Austrian Science Fund (P27722)

Austrian Science Fund (AT) (W1255)

Vienna Science and Technology Fund (ICT15-103)
License Information

License valid from 2017-09-20