Publisher
Springer Science and Business Media LLC
Subject
Linguistics and Language,Philosophy,Computer Science (miscellaneous)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Model checking for hybrid branching-time logics;Journal of Logical and Algebraic Methods in Programming;2020-01
2. Model Checking for the Full Hybrid Computation Tree Logic;2016 23rd International Symposium on Temporal Representation and Reasoning (TIME);2016-10
3. Expressiveness of Hybrid Temporal Logic on Data Words;Electronic Notes in Theoretical Computer Science;2011-11
4. The complexity of satisfiability for fragments of hybrid logic—Part I;Journal of Applied Logic;2010-12
5. On the Hybrid Extension of CTL and CTL +;Mathematical Foundations of Computer Science 2009;2009