Beiträge in Tagungsbänden:
A. Damian, C. Dragoi, A. Militaru, J. Widder:
"Communication-Closed Asynchronous Protocols";
in: "International Conference on Computer Aided Verification",
Springer,
2019,
S. 344
- 363.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-25543-5_20
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_283796.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.