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)
http://dx.doi.org/10.1007/978-3-662-44584-6_9
Created from the Publication Database of the Vienna University of Technology.