KINDLER, Ekkart, REISIG, Wolfgang, VÖLZER, Hagen und WALTER, Rolf, 1996. Petri Net Based Verification of Distributed Algorithms ; An Example. Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik.
Elsevier - Harvard (with titles)Kindler, E., Reisig, W., Völzer, H., Walter, R., 1996. Petri Net Based Verification of Distributed Algorithms ; An Example. Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik. https://doi.org/10.18452/2492
American Psychological Association 7th editionKindler, E., Reisig, W., Völzer, H., & Walter, R. (1996). Petri Net Based Verification of Distributed Algorithms ; An Example. Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik. 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 ; An Example. Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik
Juristische Zitierweise (Stüber) (Deutsch)Kindler, Ekkart/ Reisig, Wolfgang/ Völzer, Hagen/ Walter, Rolf, Petri Net Based Verification of Distributed Algorithms ; An Example, 1996.