MOSSAKOWSKI, Till, SCHRÖDER, Lutz und GONCHAROV, Sergey, 2010. A generic complete dynamic logic for reasoning about purity and effects. Formal Aspects of Computing. 1 Mai 2010. Vol. 22, no. 3/4, p. 363-384. DOI 10.1007/s00165-010-0153-4.
Elsevier - Harvard (with titles)Mossakowski, T., Schröder, L., Goncharov, S., 2010. A generic complete dynamic logic for reasoning about purity and effects. Formal Aspects of Computing 22, 363-384. https://doi.org/10.1007/s00165-010-0153-4
American Psychological Association 7th editionMossakowski, T., Schröder, L., & Goncharov, S. (2010). A generic complete dynamic logic for reasoning about purity and effects. Formal Aspects of Computing, 22(3/4), 363-384. https://doi.org/10.1007/s00165-010-0153-4
Springer - Basic (author-date)Mossakowski T, Schröder L, Goncharov S (2010) A generic complete dynamic logic for reasoning about purity and effects.. Formal Aspects of Computing 22:363-384. https://doi.org/10.1007/s00165-010-0153-4
Juristische Zitierweise (Stüber) (Deutsch)Mossakowski, Till/ Schröder, Lutz/ Goncharov, Sergey, A generic complete dynamic logic for reasoning about purity and effects., Formal Aspects of Computing 2010, 363-384.