Talks and Poster Presentations (with Proceedings-Entry):
B. Aminof, T. Kotek, S. Rubin, F. Spegni, H. Veith:
"Parameterized Model Checking of Rendezvous Systems";
Talk: International Conference on Concurrency Theory (CONCUR),
- 2014-09-05; in: "CONCUR",
Springer / LNCS,
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.