Satisfiability of CTL* with Constraints

PublikationenPublications

• Nach AutorBy Author
  • Claudia CarapelleClaudia Carapelle
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

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