%0 Journal Article %1 journals/fmsd/PaniWZ21 %A Pani, Thomas %A Weissenbacher, Georg %A Zuleger, Florian %D 2021 %J Formal Methods Syst. Des. %K dblp %N 2 %P 270-302 %T Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd57.html#PaniWZ21 %V 57

@article{journals/fmsd/PaniWZ21, added-at = {2021-12-15T00:00:00.000+0100}, author = {Pani, Thomas and Weissenbacher, Georg and Zuleger, Florian}, biburl = {https://www.bibsonomy.org/bibtex/23d95e33a465bb0dd750af9513af8ec9d/dblp}, ee = {https://doi.org/10.1007/s10703-021-00370-8}, interhash = {1bb12be5a64b2ce028914d962647d2fc}, intrahash = {3d95e33a465bb0dd750af9513af8ec9d}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 2, pages = {270-302}, timestamp = {2024-04-08T17:15:08.000+0200}, title = {Rely-guarantee bound analysis of parameterized concurrent shared-memory programs.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd57.html#PaniWZ21}, volume = 57, year = 2021 }