B. Aminof, T. Kotek, S. Rubin, F. Spegni, H. Veith:
"Parameterized model checking of rendezvous systems";
Distributed Computing, 31 (2018), 3; S. 187 - 222.
http://dx.doi.org/10.1007/s00446-017-0302-6Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_277623.pdf