ACETO, L., FOKKINK, W., INGOLFSDOTTIR, A., & NAIN, S. (2005, Januar 1). Bisimilarity is not finitely based over BPA with interrupt. Gehalten auf der. Berlin: Springer, 2005. Abgerufen von http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17115997
ISO-690 (author-date, English)ACETO, Luca, FOKKINK, Wan, INGOLFSDOTTIR, Anna und NAIN, Sumit, 2005. Bisimilarity is not finitely based over BPA with interrupt. In: [online]. Berlin: Springer, 2005. 1 Januar 2005. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17115997
Modern Language Association 9th editionACETO, L., W. FOKKINK, A. INGOLFSDOTTIR, und S. NAIN. Bisimilarity is not finitely based over BPA with interrupt. Berlin: Springer, 2005., 2005, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17115997.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
ACETO, L., FOKKINK, W., INGOLFSDOTTIR, A. und NAIN, S. (2005), „Bisimilarity is not finitely based over BPA with interrupt“, in , Bd. , Berlin: Springer, 2005., verfügbar unter: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17115997.