JANČ, Petr und SARBA, Jiří, 2008. Undecidability of Bisimilarity by Defender’s Forcing. Journal of the ACM. 1 Februar 2008. Vol. 55, no. 1, p. 1-26. DOI 10.1145/1326554.1326559.
Elsevier - Harvard (with titles)Janč, P., Sarba, J., 2008. Undecidability of Bisimilarity by Defender’s Forcing. Journal of the ACM 55, 1-26. https://doi.org/10.1145/1326554.1326559
American Psychological Association 7th editionJanč, P., & Sarba, J. (2008). Undecidability of Bisimilarity by Defender’s Forcing. Journal of the ACM, 55(1), 1-26. https://doi.org/10.1145/1326554.1326559
Springer - Basic (author-date)Janč P, Sarba J (2008) Undecidability of Bisimilarity by Defender’s Forcing.. Journal of the ACM 55:1-26. https://doi.org/10.1145/1326554.1326559
Juristische Zitierweise (Stüber) (Deutsch)Janč, Petr/ Sarba, Jiří, Undecidability of Bisimilarity by Defender’s Forcing., Journal of the ACM 2008, 1-26.