Crossmark

Rely-guarantee bound analysis of parameterized concurrent shared-memory programs

Crossref DOI link: https://doi.org/10.1007/s10703-021-00370-8

Published Online: 2021-04-06

Published Print: 2021-08

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

Authors

Pani, Thomas https://orcid.org/0000-0002-4434-0248
Weissenbacher, Georg https://orcid.org/0000-0002-0143-632X
Zuleger, Florian https://orcid.org/0000-0003-1468-8398
Funding

Funding for this research was provided by:

TU Wien
License Information

Text and Data Mining valid from 2021-04-06

Version of Record valid from 2021-04-06
More Information

Article History

First Online: 6 April 2021