RABE, Markus N. und FINKBEINER, Bernd, 2016. A temporal logic approach to i Information-flow control. Saarbrücken: Saarländische Universitäts- und Landesbibliothek.
Elsevier - Harvard (with titles)Rabe, M.N., Finkbeiner, B., 2016. A temporal logic approach to i Information-flow control. Saarländische Universitäts- und Landesbibliothek, Saarbrücken. https://doi.org/urn:nbn:de:bsz:291-scidok-63871
American Psychological Association 7th editionRabe, M. N., & Finkbeiner, B. (ca. 2016). A temporal logic approach to i Information-flow control [Saarländische Universitäts- und Landesbibliothek; Cd]. https://doi.org/urn:nbn:de:bsz:291-scidok-63871
Springer - Basic (author-date)Rabe MN, Finkbeiner B (2016) A temporal logic approach to i Information-flow control. Saarländische Universitäts- und Landesbibliothek
Juristische Zitierweise (Stüber) (Deutsch)Rabe, Markus N./ Finkbeiner, Bernd, A temporal logic approach to i Information-flow control, Saarbrücken 2016.