Publications in Scientific Journals:
B. Aminof, T. Kotek, S. Rubin, F. Spegni, H. Veith:
"Parameterized model checking of rendezvous systems";
Distributed Computing,
31
(2018),
3;
187
- 222.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s00446-017-0302-6
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_277623.pdf
Created from the Publication Database of the Vienna University of Technology.