[Zurück]


Zeitschriftenartikel:
B. Aminof, T. Kotek, S. Rubin, F. Spegni, H. Veith:
"Parameterized model checking of rendezvous systems";
Distributed Computing, 31 (2018), 3; S. 187 - 222.

"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s00446-017-0302-6
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_277623.pdf

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.