DESEL, G. und KINDLER, E., 1998. Proving correctness of distributed algorithms using high-level Petri nets-a case study. In: . 1 Januar 1998.
Elsevier - Harvard (with titles)Desel, G., Kindler, E., 1998. Proving correctness of distributed algorithms using high-level Petri nets-a case study, in: . https://doi.org/10.1109/CSD.1998.657550
American Psychological Association 7th editionDesel, G., & Kindler, E. (1998, Januar 1). Proving correctness of distributed algorithms using high-level Petri nets-a case study. https://doi.org/10.1109/CSD.1998.657550
Springer - Basic (author-date)Desel G, Kindler E (1998) Proving correctness of distributed algorithms using high-level Petri nets-a case study
Juristische Zitierweise (Stüber) (Deutsch)Desel, G./ Kindler, E., Proving correctness of distributed algorithms using high-level Petri nets-a case study, 1998, .