Author:
Lichtenstein Orna,Pnueli Amir
Cited by
273 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantum temporal logic and reachability problems of matrix semigroups;Information and Computation;2024-10
2. Model checking distributed temporal logic;Logic Journal of the IGPL;2024-05-16
3. Perspective Games;ACM Transactions on Computational Logic;2024-01-17
4. A Navigation Logic for Recursive Programs with Dynamic Thread Creation;Lecture Notes in Computer Science;2023-12-30
5. A Temporal Logic Extension of the RISCAL Model Checker;2022 IEEE 16th International Scientific Conference on Informatics (Informatics);2022-11-23