Cite Them Right 11th edition - Harvard

Muñiz Rodríguez, M.A. und Podelski, A. (2015) Model checking for time division multiple access systems [cd]. Freiburg: Universität. doi:10.6094/UNIFR/10161.

Chicago Manual of Style 17th edition (full note)

Muñiz Rodríguez, Marco Antonio, und Andreas Podelski. Model checking for time division multiple access systems. Cd. Freiburg: Universität, [2015?], Freiburg: Universität, [2015?]. https://doi.org/10.6094/UNIFR/10161.

American Psychological Association 7th edition

Muñiz Rodríguez, M. A., & Podelski, A. (ca. 2015). Model checking for time division multiple access systems [Cd]. Universität. https://doi.org/10.6094/UNIFR/10161

Modern Language Association 9th edition

Muñiz Rodríguez, M. A., und A. Podelski. Model checking for time division multiple access systems. cd, Universität, 2015, https://doi.org/10.6094/UNIFR/10161.

ISO-690 (author-date, Deutsch)

MUÑIZ RODRÍGUEZ, Marco Antonio und Andreas PODELSKI, 2015. Model checking for time division multiple access systems. Freiburg: Universität

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.