Author:
Cini Clare,Francalanza Adrian
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. LNCS;A. Bauer,2012
2. Brunnler, K., Lange, M.: Cut-free sequent systems for temporal logic. JLAP 76(2), 216–225 (2008)
3. Lecture Notes in Computer Science;A. Bauer,2007
4. Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL semantics for runtime verification. Logic and Comput. 20(3), 651–674 (2010)
5. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. TOSEM 20(4), 14 (2011)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献