@techreport{KirchbergMayer2017,
  author    = {Paul Kirchberg and Otto Mayer},
  title     = {Integration temporallogischer Verarbeitungskonzepte in \(C^{++}\)},
  institution = {Fachbereich Informatik},
  series    = {Interner Bericht des Fachbereich Informatik},
  number    = {294},
  pages     = {36},
  year      = {2017},
  url  = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-49746},
}