SpringerLink (Online service), Alvim, M. S., Chatzikokolakis, K., Olarte, C., & Valencia, F. (2019). The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday (1st ed. 2019.). Springer International Publishing : Imprint: Springer. https://doi.org/10.1007/978-3-030-31175-9
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, και Frank Valencia. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. 1st ed. 2019. Cham: Springer International Publishing : Imprint: Springer, 2019. https://doi.org/10.1007/978-3-030-31175-9.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. 1st ed. 2019. Springer International Publishing : Imprint: Springer, 2019. https://doi.org/10.1007/978-3-030-31175-9.
