@InProceedings{   demri_et_al:LIPIcs.CONCUR.2023.29,
  Author        = "Demri, St\'{e}phane and Quaas, Karin",
  date-added    = "2023-09-16 20:41:34 +0200",
  date-modified = "2023-09-16 20:41:34 +0200",
  Title         = "Constraint Automata on Infinite Data Trees: from {CTL(Z)/CTL*(Z)} to Decision Procedures",
  File          = "Constraint Automata on Infinite Data Trees - LIPIcs-CONCUR-2023-29.pdf"
}

@InProceedings{ demri_et_al:LIPIcs.CONCUR.2023.29, Author = "Demri, St\'{e}phane and Quaas, Karin", date-added = "2023-09-16 20:41:34 +0200", date-modified = "2023-09-16 20:41:34 +0200", Title = "Constraint Automata on Infinite Data Trees: from {CTL(Z)/CTL*(Z)} to Decision Procedures", File = "Constraint Automata on Infinite Data Trees - LIPIcs-CONCUR-2023-29.pdf" }