ISO-690 (author-date, English)

CRISTIÁ, Maximiliano und ROSSI, Gianfranco, 2021. An Automatically Verified Prototype of the Tokeneer ID Station Specification. Journal of Automated Reasoning. 1 Dezember 2021. Vol. 65, no. 8, p. 1125-1151. DOI 10.1007/s10817-021-09602-2.

Elsevier - Harvard (with titles)

Cristiá, M., Rossi, G., 2021. An Automatically Verified Prototype of the Tokeneer ID Station Specification. Journal of Automated Reasoning 65, 1125-1151. https://doi.org/10.1007/s10817-021-09602-2

American Psychological Association 7th edition

Cristiá, M., & Rossi, G. (2021). An Automatically Verified Prototype of the Tokeneer ID Station Specification. Journal of Automated Reasoning, 65(8), 1125-1151. https://doi.org/10.1007/s10817-021-09602-2

Springer - Basic (author-date)

Cristiá M, Rossi G (2021) An Automatically Verified Prototype of the Tokeneer ID Station Specification.. Journal of Automated Reasoning 65:1125-1151. https://doi.org/10.1007/s10817-021-09602-2

Juristische Zitierweise (Stüber) (Deutsch)

Cristiá, Maximiliano/ Rossi, Gianfranco, An Automatically Verified Prototype of the Tokeneer ID Station Specification., Journal of Automated Reasoning 2021, 1125-1151.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.