ISO-690 (author-date, English)

GRIFFIOEN, Willem Otto David, 2000. Studies in computer aided verification of protocols. [Eindhoven]. IPA dissertation series / IPA, Instituut voor Programmatuurkunde en Algorithmiek, 2000,4.

Elsevier - Harvard (with titles)

Griffioen, W.O.D., 2000. Studies in computer aided verification of protocols, IPA dissertation series / IPA, Instituut voor Programmatuurkunde en Algorithmiek, IPA dissertation series / IPA, Instituut voor Programmatuurkunde en Algorithmiek. [Eindhoven].

American Psychological Association 7th edition

Griffioen, W. O. D. (ca. 2000). Studies in computer aided verification of protocols [Book]. In IPA dissertation series / IPA, Instituut voor Programmatuurkunde en Algorithmiek.

Springer - Basic (author-date)

Griffioen WOD (2000) Studies in computer aided verification of protocols. [Eindhoven]

Juristische Zitierweise (Stüber) (Deutsch)

Griffioen, Willem Otto David, Studies in computer aided verification of protocols, [Eindhoven] 2000.

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