Christian Schilling

Research output

Research output per year 2012 2019 2021 2022 2023 2024 2025

• 58 Article in proceeding
• 9 Journal article
• 3 Conference abstract in proceeding
• 2 Preface/Introduction/postscript
• 3 More
  • 1 Anthology
  • 1 Book chapter
  • 1 PhD thesis

Research output per year

Research output per year

Search results

• 2023

  Model Checking Software - 29th International Symposium: SPIN 2023

  Caltais, G. (Editor) & Schilling, C. (Editor), 2023, Springer. 202 p. (Lecture Notes in Computer Science, Vol. 13872).

  Research output: Book/Report › Anthology › Research › peer-review