Author:
Basin David,Klaedtke Felix,Zălinescu Eugen
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Alur, R., Feder, T., Henzinger, T.: The benefits of relaxing punctuality. J. ACM 43(1), 116–146 (1996)
2. Lecture Notes in Computer Science;R. Alur,1992
3. Basin, D., Klaedtke, F., Müller, S.: Monitoring security policies with metric first-order temporal logic. In: SACMAT 2010, pp. 23–33 (2010)
4. Basin, D., Klaedtke, F., Müller, S., Pfitzmann, B.: Runtime monitoring of metric first-order temporal properties. In: FSTTCS 2008, pp. 49–60 (2008)
5. Lecture Notes in Computer Science;A. Bauer,2006
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献