Kindler, E., Reisig, W., Völzer, H. und Walter, R. (1996) Petri Net Based Verification of Distributed Algorithms [cd], Informatik-Berichte. Berlin: Humboldt-Universität zu Berlin. doi:10.18452/2492.
Chicago Manual of Style 17th edition (full note)Kindler, Ekkart, Wolfgang Reisig, Hagen Völzer, und Rolf Walter. Petri Net Based Verification of Distributed Algorithms. Cd. Informatik-Berichte. Berlin: Humboldt-Universität zu Berlin, [1996?], Berlin: Humboldt-Universität zu Berlin, [1996?]. https://doi.org/10.18452/2492.
American Psychological Association 7th editionKindler, E., Reisig, W., Völzer, H., & Walter, R. (ca. 1996). Petri Net Based Verification of Distributed Algorithms [Cd]. In Informatik-Berichte. Humboldt-Universität zu Berlin. https://doi.org/10.18452/2492
Modern Language Association 9th editionKindler, E., W. Reisig, H. Völzer, und R. Walter. „Petri Net Based Verification of Distributed Algorithms“. Informatik-Berichte, cd, Humboldt-Universität zu Berlin, 1996, https://doi.org/10.18452/2492.
ISO-690 (author-date, Deutsch)KINDLER, Ekkart, Wolfgang REISIG, Hagen VÖLZER und Rolf WALTER, 1996. Petri Net Based Verification of Distributed Algorithms. Berlin: Humboldt-Universität zu Berlin