Ciancia, V., Latella, D., Massink, M., Goos, G., Hartmanis, J., Bertino, E., . . . Talcott, C. (2025). Ten Years of Spatial Model Checking. Rebeca for Actor Analysis in Action : Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday, 15560, 406-424. https://doi.org/10.1007/978-3-031-85134-6_18
Chicago-referens (17:e uppl.)Ciancia, Vincenzo, et al. "Ten Years of Spatial Model Checking." Rebeca for Actor Analysis in Action : Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday 15560 (2025): 406-424. https://doi.org/10.1007/978-3-031-85134-6_18.
MLA-referens (9:e uppl.)Ciancia, Vincenzo, et al. "Ten Years of Spatial Model Checking." Rebeca for Actor Analysis in Action : Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday, vol. 15560, 2025, pp. 406-424, https://doi.org/10.1007/978-3-031-85134-6_18.
