Contributions to Proceedings:

A. Damian, C. Dragoi, A. Militaru, J. Widder:
"Communication-Closed Asynchronous Protocols";
in: "International Conference on Computer Aided Verification", Springer, 2019, 344 - 363.

"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.