Author:
Kupferman Orna,Piterman Nir,Vardi Moshe Y.
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. R. Alur, C. Courcoubetis, and D. Dill. Model-checking in dense real-time. Information and Computation, 104(1):2–34, May 1993.
2. A. Bouajjani, R. Echahed, and P. Habermehl. On the verification problem of nonregular properties for nonregular processes. In 10th LICS, pp. 123–133, 1995. IEEE.
3. Lect Notes Comput Sci;A. Bouajjani,1997
4. Lect Notes Comput Sci;A. Bouajjani,1994
5. Lect Notes Comput Sci;P. Biesse,2001
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. HYASM: A Tool to Verify Hierarchical Systems;2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE);2023-12-14
2. Interval Temporal Logic for Visibly Pushdown Systems;ACM Transactions on Computational Logic;2023-04-17
3. A First-Order Complete Temporal Logic for Structured Context-Free Languages;Logical Methods in Computer Science;2022-07-29
4. Model-Checking Structured Context-Free Languages;Computer Aided Verification;2021
5. Context-free timed formalisms: Robust automata and linear temporal logics;Information and Computation;2020-12