Author:
Duan Zhenhua,Tian Cong,Zhang Li
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference32 articles.
1. Moszkowski, B.C.: Reasoning about digital circuits. PhD Thesis, Stanford University. TRSTAN-CS-83-970 (1983)
2. Rosner, R., Pnueli, A.: A choppy logic. In: First annual IEEE symposium on logic in computer science, LICS, pp. 306–314 (1986)
3. Moszkowski, B.C.: A complete axiomatization of interval temporal logic with infinite time. In: 15th Annual IEEE symposium on logic in computer science (LICS’00), LICS, p. 241, (2000)
4. Chaochen Z., Hoare C.A.R. and Ravn A.P. (1991). A calculus of duration. Inf. Process. Lett. 40(5): 269–275
5. Bowman H. and Thompson S. (2003). A decision procedure and complete axiomatization of interval temporal logic with projection. J. Logic Comput. 13(2): 195–239
Cited by
106 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. DAG-Based Formal Modeling of Spark Applications with MSVL;Information;2023-12-12
2. An Approach to Agent Path Planning Under Temporal Logic Constraints;Lecture Notes in Computer Science;2023-12-09
3. Formal Verifying Kernel Abstract Layer of HarmonyOS with Projection Temporal Logic;2023 6th International Conference on Artificial Intelligence and Pattern Recognition (AIPR);2023-09-22
4. Model Checking for Scheduling on Flight Decks of Aircraft Carriers;2023 IEEE 6th Information Technology,Networking,Electronic and Automation Control Conference (ITNEC);2023-02-24
5. Implementation of Matlab matfun Toolkit Based on MSVL;Structured Object-Oriented Formal Language and Method;2023