Satisfiability of ECTL* with Tree Constraints.

Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey

Browse the full CSR paper archive.