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)
http://dx.doi.org/10.1007/978-3-030-25543-5_20
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_283796.pdf
Created from the Publication Database of the Vienna University of Technology.