Author:
Basin David,Caronni Germano,Ereth Sarah,Harvan Matúš,Klaedtke Felix,Mantel Heiko
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference39 articles.
1. Abiteboul S, Hull R, Vianu V (1994) Foundations of databases: the logical level. Addison-Wesley, Reading
2. Alur R, Henzinger TA (1992) Logics and models of real time: a survey. In: Proceedings of the 1991 REX workshop on real time: theory in practice (Lecture notes in computer science), vol 600, pp 74–106
3. Baier C, Katoen J-P (2008) Principles of model checking. The MIT Press, Cambridge
4. Barre B, Klein M, Soucy-Boivin M, Ollivier P-A, Hallé S (2013) MapReduce for parallel trace validation of LTL properties. In: Proceedings of the 3rd international conference on runtime verification (Lecture notes in computer science), vol 7687, pp 184–198
5. Barringer H, Goldberg A, Havelund K, Sen K (2004) Rule-based runtime verification. In: Proceedings of the 5th international conference on verification, model checking and abstract interpretation (Lecture notes in computer science), vol 2937, pp 44–57
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献