KINDLER, Ekkart, REISIG, Wolfgang, VÖLZER, Hagen und WALTER, Rolf, 1996. Petri Net Based Verification of Distributed Algorithms. Berlin: Humboldt-Universität zu Berlin.
Elsevier - Harvard (with titles)Kindler, E., Reisig, W., Völzer, H., Walter, R., 1996. Petri Net Based Verification of Distributed Algorithms, Informatik-Berichte. Humboldt-Universität zu Berlin, Berlin. 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
Springer - Basic (author-date)Kindler E, Reisig W, Völzer H, Walter R (1996) Petri Net Based Verification of Distributed Algorithms. Humboldt-Universität zu Berlin, Berlin
Juristische Zitierweise (Stüber) (Deutsch)Kindler, Ekkart/ Reisig, Wolfgang/ Völzer, Hagen/ Walter, Rolf, Petri Net Based Verification of Distributed Algorithms, Berlin 1996.