On the Satisfiability of Temporal Logics with Concrete Domains
Aus International Center for Computational Logic
On the Satisfiability of Temporal Logics with Concrete Domains
Claudia CarapelleClaudia Carapelle
Claudia Carapelle
On the Satisfiability of Temporal Logics with Concrete Domains
Phd thesis, Universität Leipzig, 2015/11/04
On the Satisfiability of Temporal Logics with Concrete Domains
Phd thesis, Universität Leipzig, 2015/11/04
- Projekt:Project: QuantLA
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@phdthesis{C2015,
author = {Claudia Carapelle},
title = {On the Satisfiability of Temporal Logics with Concrete Domains},
school = {Universit{\"{a}}t Leipzig},
year = {2015}
}