Publisher
Springer International Publishing
Reference6 articles.
1. Lecture Notes in Computer Science;E Bartocci,2018
2. Lecture Notes in Computer Science;A Pnueli,2006
3. Ferrère, T., Henzinger, T.A., Saraç, N.E.: A theory of register monitors. In: Logic in Computer Science. ACM/IEEE (2018)
4. Ferrère, T., Henzinger, T.A., Kragl, B.: Monitoring event frequencies. In: Computer Science Logic. LIPIcs, vol. 152. Schloss Dagstuhl (2020)
5. Henzinger, T.A., Saraç, N.E.: Quantitative and approximate monitoring. In: Logic in Computer Science. ACM/IEEE (2021)