Research output per year
Research output per year
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Research output
- 1 Article in proceeding
-
Monitoring Timed Properties (Revisited)
Grosen, T. M., Kauffman, S., Larsen, K. G. & Zimmermann, M., Aug 2022, Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings. Bogomolov, S. & Parker, D. (eds.). Springer, p. 43-62 20 p. (Lecture Notes in Computer Science, Vol. 13465).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review