Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Checking;Real-Time Embedded Systems;2017-07-14
2. Embedding theorems for LTL and its variants;Mathematical Structures in Computer Science;2014-12-02
3. Bounded linear-time temporal logic: A proof-theoretic investigation;Annals of Pure and Applied Logic;2012-04
4. Linear Temporal Logic Symbolic Model Checking;Computer Science Review;2011-05
5. Phase semantics for linear-time formalism;Logic Journal of IGPL;2010-06-30