KLIMIS, Vasileios, PARISIS, George und REUS, Bernhard, 2020. Model Checking Software-Defined Networks with Flow Entries that Time Out. In: . 21 September 2020.
Elsevier - Harvard (with titles)Klimis, V., Parisis, G., Reus, B., 2020. Model Checking Software-Defined Networks with Flow Entries that Time Out, in: . https://doi.org/10.34727/2020 sbn.978-3-85448-042-6_25
American Psychological Association 7th editionKlimis, V., Parisis, G., & Reus, B. (2020, September 21). Model Checking Software-Defined Networks with Flow Entries that Time Out. https://doi.org/10.34727/2020 sbn.978-3-85448-042-6_25
Springer - Basic (author-date)Klimis V, Parisis G, Reus B (2020) Model Checking Software-Defined Networks with Flow Entries that Time Out
Juristische Zitierweise (Stüber) (Deutsch)Klimis, Vasileios/ Parisis, George/ Reus, Bernhard, Model Checking Software-Defined Networks with Flow Entries that Time Out, 2020, .