Publisher
Springer International Publishing
Reference33 articles.
1. Lecture Notes in Computer Science;C Ackermann,2010
2. Agrawal, R., Srikant, R.: Mining sequential patterns. In: Proceedings of the Eleventh International Conference on Data Engineering, pp. 3–14. IEEE Computer Society, Washington, DC (1995)
3. Ahlswede, R., Cai, N.: Incomparability and intersection properties of Boolean interval lattices and chain posets. Eur. J. Comb. 17(8), 677–687 (1996). https://doi.org/10.1006/eujc.1996.0059
4. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM (JACM) 43(1), 116–146 (1996)
5. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Survey on mining signal temporal logic specifications;Information and Computation;2022-11
2. Temporal-logic query checking over finite data streams;International Journal on Software Tools for Technology Transfer;2022-04-05
3. A tableau construction for finite linear-time temporal logic;Journal of Logical and Algebraic Methods in Programming;2022-02
4. Temporal-Logic Query Checking over Finite Data Streams;Formal Methods for Industrial Critical Systems;2020