APA-Zitierstil (7. Ausg.)

Hutchison, D., Kanade, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., . . . Lluch Lafuente, A. (2007). Towards Model Checking Spatial Properties with SPIN. Model Checking Software (9783540733690), 223. https://doi.org/10.1007/978-3-540-73370-6_15

Chicago-Zitierstil (17. Ausg.)

Hutchison, David, et al. "Towards Model Checking Spatial Properties with SPIN." Model Checking Software (9783540733690) 2007: 223. https://doi.org/10.1007/978-3-540-73370-6_15.

MLA-Zitierstil (9. Ausg.)

Hutchison, David, et al. "Towards Model Checking Spatial Properties with SPIN." Model Checking Software (9783540733690), 2007, p. 223, https://doi.org/10.1007/978-3-540-73370-6_15.