Satisfiability of CTL* with Constraints

Claudia CarapelleClaudia Carapelle, Alexander KartzowAlexander Kartzow, Markus LohreyMarkus Lohrey

Claudia Carapelle, Alexander Kartzow, Markus Lohrey
Satisfiability of CTL* with Constraints
Proc. of the 24th Int. Conf. on Concurrency Theory (CONCUR 2013), 2013

Details
Bibtex

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}
}