Publisher
Springer International Publishing
Reference74 articles.
1. LNCS;Y. Abarbanel,2000
2. Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett. 21(4), 181–185 (1985)
3. Alpern, B., Schneider, F.B.: Recognizing safety and liveness. Distrib. Comput. 2(3), 117–126 (1987)
4. LNCS;R. Armoni,2003
5. LNCS;R. Armoni,2013
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Temporal-logic query checking over finite data streams;International Journal on Software Tools for Technology Transfer;2022-04-05
2. Temporal-Logic Query Checking over Finite Data Streams;Formal Methods for Industrial Critical Systems;2020