AHRENDT, Wolfgang, PACE, Gordon J. und SCHNEIDER, Gerardo, 2016. Sta RVOOr S - episode II : strengthen and distribute the force ; Leveraging applications of formal methods, verification and validation : foundational techniques. ISo LA 2016. Lecture notes in computer science. Springer, Cham.
Elsevier - Harvard (with titles)Ahrendt, W., Pace, G.J., Schneider, G., 2016. Sta RVOOr S - episode II : strengthen and distribute the force ; Leveraging applications of formal methods, verification and validation : foundational techniques. ISo LA 2016. Lecture notes in computer science. Springer, Cham. https://doi.org/10.1007/978-3-319-47166-2_28
American Psychological Association 7th editionAhrendt, W., Pace, G. J., & Schneider, G. (2016). Sta RVOOr S - episode II : strengthen and distribute the force ; Leveraging applications of formal methods, verification and validation : foundational techniques. ISo LA 2016. Lecture notes in computer science. Springer, Cham. https://doi.org/10.1007/978-3-319-47166-2_28
Springer - Basic (author-date)Ahrendt W, Pace GJ, Schneider G (2016) Sta RVOOr S - episode II : strengthen and distribute the force ; Leveraging applications of formal methods, verification and validation : foundational techniques. ISo LA 2016. Lecture notes in computer science. Springer, Cham
Juristische Zitierweise (Stüber) (Deutsch)Ahrendt, Wolfgang/ Pace, Gordon J./ Schneider, Gerardo, Sta RVOOr S - episode II : strengthen and distribute the force ; Leveraging applications of formal methods, verification and validation : foundational techniques. ISo LA 2016. Lecture notes in computer science, 2016.