Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey. Satisfiability of ECTL∗ with Local Tree Constraints. Theory Comput. Syst., 61(2):689-720, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.