Transformation von regulärer Linearzeit-Temporallogik zu Paritätsautomaten.

Malte Schmitz

OriginalspracheDeutsch
QualifikationBachelor of Science
Gradverleihende Hochschule
Betreuer/-in / Berater/-in
  • Leucker, Martin, Betreuer*in
  • Tantau, Till, Betreuer*in
PublikationsstatusVeröffentlicht - 2012

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

  • SDG 9 – Industrie, Innovation und Infrastruktur

Andere Dateien und Links

Zitieren