Satisfiability of CTL* with Constraints
Aus International Center for Computational Logic
Satisfiability of CTL* with Constraints
Claudia CarapelleClaudia Carapelle, Alexander KartzowAlexander Kartzow, Markus LohreyMarkus Lohrey
![Satisfiability of CTL* with Constraints Satisfiability of CTL* with Constraints](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Claudia Carapelle, Alexander Kartzow, Markus Lohrey
Satisfiability of CTL* with Constraints
Proc. of the 24th Int. Conf. on Concurrency Theory (CONCUR 2013), 2013
Satisfiability of CTL* with Constraints
Proc. of the 24th Int. Conf. on Concurrency Theory (CONCUR 2013), 2013
- Projekt:Project: QuantLA
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{CKL2013,
author = {Claudia Carapelle and Alexander Kartzow and Markus Lohrey},
title = {Satisfiability of {CTL*} with Constraints},
booktitle = {Proc. of the 24th Int. Conf. on Concurrency Theory (CONCUR 2013)},
year = {2013}
}