Author:
Kauffman Sean,Havelund Klaus,Joshi Rajeev
Publisher
Springer International Publishing
Reference22 articles.
1. Albarghouthi, A., Baier, J.A., McIlraith, S.A.: On the use of planning technology for verification. In: Proceedings of the ICAPS Workshop on Verification and Validation of Planning and Scheduling Systems (VVPS). Citeseer (2009)
2. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
3. Allen, J.F.: Towards a general theory of action and time. Artif. Intell. 23(2), 123–154 (1984)
4. Lecture Notes in Computer Science;R Alur,2016
5. Lecture Notes in Computer Science;D Basin,2012
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The complexity of evaluating nfer;Science of Computer Programming;2024-01
2. Log analysis and system monitoring with nfer;Science of Computer Programming;2023-01
3. Space Telemetry Analysis with PyContract;Lecture Notes in Computer Science;2023
4. STAn: analysis of data traces using an event-driven interval temporal logic;Automated Software Engineering;2022-11-30
5. The Complexity of Evaluating Nfer;Theoretical Aspects of Software Engineering;2022