GHINDICI, Dorina, GRIMAUD, Gilles und SIMPLOT-RYL, Isabelle, 2007. An Information Flow Verifier for Small Embedded Systems. Springer Berlin Heidelberg. ISBN 978-3-540-72353-0978-3-540-72354-73-540-72353-6&3-540-72354-4.
Elsevier - Harvard (with titles)Ghindici, D., Grimaud, G., Simplot-Ryl, I., 2007. An Information Flow Verifier for Small Embedded Systems. Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-72354-7_16
American Psychological Association 7th editionGhindici, D., Grimaud, G., & Simplot-Ryl, I. (2007). An Information Flow Verifier for Small Embedded Systems. Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-72354-7_16
Springer - Basic (author-date)Ghindici D, Grimaud G, Simplot-Ryl I (2007) An Information Flow Verifier for Small Embedded Systems. Springer Berlin Heidelberg
Juristische Zitierweise (Stüber) (Deutsch)Ghindici, Dorina/ Grimaud, Gilles/ Simplot-Ryl, Isabelle, An Information Flow Verifier for Small Embedded Systems, 2007.