SpringerLink (Online service), Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A., & Mardare, R. (2017). Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer International Publishing : Imprint: Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, και Radu Mardare. Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Cham: Springer International Publishing : Imprint: Springer, 2017.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer International Publishing : Imprint: Springer, 2017.
