Publications in Scientific Journals:

T. Pani, G. Weissenbacher, F. Zuleger:
"Rely-guarantee bound analysis of parameterized concurrent shared-memory programs";
Formal Methods in System Design, 57 (2021), 2; 270 - 302.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.