Lisa Willemsen

Calculated based on number of publications stored in Pure and citations from Scopus
20222023

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Chapter

Search results

  • 2023

    Comparing Two Approaches to Include Stochasticity in Hybrid Automata

    Willemsen, L., Remke, A. & Ábrahám, E., Sept 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023. Proceedings. Jansen, N. & Tribastone, M. (eds.). Cham, Switzerland: Springer Nature, p. 238-254 17 p. Chapter 17. (Lecture Notes in Computer Science; vol. 14287).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review