APA (7th ed.) Citation

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 Style (17th ed.) Citation

SpringerLink (Online service), Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, and 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 ed.) Citation

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.