Christian Schilling

View Scopus Profile

Christian Schilling

Associate Professor

 https://orcid.org/0000-0003-3658-1065

  • Selma Lagerløfs Vej 300

    9220 Aalborg Øst

    Denmark

20122025

Research activity per year

Filter
Book chapter

Search results

  • 2022

    Simulation Relations and Applications in Formal Methods

    Larsen, K. G., Schilling, C. & Srba, J., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, p. 272-291 20 p. (Lecture Notes in Computer Science, Vol. 13660).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review