Spectra of behavioural distances and quantitative logics

Third party funded individual grant

Start date : 01.02.2021

End date : 31.07.2024

Overview

Project details

Involved:

Lutz Schröder Project Leader

Contributing FAU Organisations:

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Funding Source

DFG-Einzelförderung / Sachbeihilfe (EIN-SBH)