Author:
Frenkel Hadar,Grumberg Orna,Sheinvald Sarai
Publisher
Springer International Publishing
Reference19 articles.
1. Lecture Notes in Computer Science;H Barringer,2012
2. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), 14:1–14:64 (2011)
3. Bojańczyk, M., Muscholl, A., Schwentick, T., Segoufin, L., David, C.: Two-variable logic on words with data. In: 21st IEEE Symposium on Logic in Computer Science (LICS 2006), 12–15, Seattle, WA, USA, Proceedings, pp. 7–16. IEEE Computer Society, 2006, August 2006
4. Lecture Notes in Computer Science;A Bouajjani,2007
5. Brambilla, M., Ceri, S., Comai, S., Fraternali, P., Manolescu, I.: Specification and design of workflow-driven hypertexts. J. Web Eng. 1(2), 163–182 (2003)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献