Lohrey, M. (2008) Application of verification techniques to inverse monoids [cd], Dagstuhl seminar proceedings 07441. [Wadern]: [Internat. Begegnungs- und Forschungszentrum für Informatik]. doi:urn:nbn:de:0030-drops-14109.
Chicago Manual of Style 17th edition (full note)Lohrey, Markus. Application of verification techniques to inverse monoids. Cd. Dagstuhl seminar proceedings 07441. [Wadern]: [Internat. Begegnungs- und Forschungszentrum für Informatik], [2008?], [Wadern]: [Internat. Begegnungs- und Forschungszentrum für Informatik], [2008?]. https://doi.org/urn:nbn:de:0030-drops-14109.
American Psychological Association 7th editionLohrey, M. (ca. 2008). Application of verification techniques to inverse monoids [Cd]. In Dagstuhl seminar proceedings 07441. [Internat. Begegnungs- und Forschungszentrum für Informatik]. https://doi.org/urn:nbn:de:0030-drops-14109
Modern Language Association 9th editionLohrey, M. „Application of verification techniques to inverse monoids“. Dagstuhl seminar proceedings 07441, cd, [Internat. Begegnungs- und Forschungszentrum für Informatik], 2008, https://doi.org/urn:nbn:de:0030-drops-14109.
ISO-690 (author-date, Deutsch)LOHREY, Markus, 2008. Application of verification techniques to inverse monoids. [Wadern]: [Internat. Begegnungs- und Forschungszentrum für Informatik]