Research output per year
Research output per year
Thom Badings, Matthias Volk, Sebastian Junges, Marielle Stoelinga, Nils Jansen
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Original language | English |
---|---|
Title of host publication | Tools and Algorithms for the Construction and Analysis of Systems |
Subtitle of host publication | 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II |
Editors | Bernd Finkbeiner, Laura Kovács |
Publisher | Springer |
Pages | 258-278 |
Number of pages | 21 |
ISBN (Electronic) | 978-3-031-57249-4 |
ISBN (Print) | 978-3-031-57248-7 |
DOIs | |
Publication status | Published - 5 Apr 2024 |
Event | 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024 - Luxembourg City, Luxembourg Duration: 6 Apr 2024 → 11 Apr 2024 Conference number: 30 |
Conference | 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024 |
---|---|
Abbreviated title | TACAS 2024 |
Country/Territory | Luxembourg |
City | Luxembourg City |
Period | 6/04/24 → 11/04/24 |
Badings, T. (Creator), Volk, M. (Creator), Junges, S. (Creator), Stoelinga, M. (Creator) & Jansen, N. (Creator), Zenodo, 28 Dec 2023
DOI: 10.5281/zenodo.10438984, https://zenodo.org/record/10438985 and one more link, https://doi.org/10.5281/zenodo.10438985 (show fewer)
Dataset
Research output: Working paper › Preprint › Academic