Skip to main navigation Skip to search Skip to main content

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

Malte Schmitz

Original languageGerman
QualificationBachelor of Science
Awarding Institution
Supervisors/Advisors
  • Leucker, Martin, Supervisor
  • Tantau, Till, Supervisor
Publication statusPublished - 2012

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

  1. SDG 9 - Industry, Innovation, and Infrastructure
    SDG 9 Industry, Innovation, and Infrastructure

Cite this