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), Rom, Italien; 2014-09-02 - 2014-09-05; in: "CONCUR", Springer / LNCS, 8704 (2014), 109 - 124.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.