• Ratzeburger Allee 160, Gebäude 64, 1. OG, Raum 44

    23562 Lübeck

    Germany

Calculated based on number of publications stored in Pure and citations from PlumX
20122019

Research activity per year

Filter
Chapter

Search results

  • 2018

    Monitoring events that carry data

    Havelund, K., Reger, G., Thoma, D. & Zălinescu, E., 11.02.2018, Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (eds.). Springer Verlag, Vol. 10457 LNCS. p. 61-102 42 p. (Lecture Notes in Computer Science; vol. 10457 LNCS).

    Research output: Chapters in Books/Reports/Conference ProceedingsChapterpeer-review

    23 Citations (Scopus)