Talks and Poster Presentations (with Proceedings-Entry):
B. Aminof, S. Rubin, F. Zuleger:
"On the Expressive Power of Communication Primitives in Parameterised Systems";
Talk: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR),
Suva, Fiji;
2015-11-24
- 2015-11-28; in: "LPAR",
Springer,
9450
(2015),
313
- 328.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-662-48899-7_22
Created from the Publication Database of the Vienna University of Technology.