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

    23562 Lübeck

    Germany

  • 330
    Citations
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)