Research output per year
Research output per year
Georgiana Caltais (Editor), Christian Schilling (Editor)
Research output: Book/Report › Anthology › Research › peer-review
Original language | English |
---|
Publisher | Springer |
---|---|
Number of pages | 202 |
ISBN (Print) | 978-3-031-32156-6 |
ISBN (Electronic) | 978-3-031-32157-3 |
DOIs | |
Publication status | Published - 2023 |
Event | 29th International Symposium on Model Checking Software - Sorbonne Université, Paris, France Duration: 26 Apr 2023 → 27 Apr 2023 Conference number: 29 https://spin-web.github.io/SPIN2023/ |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 13872 |
ISSN | 0302-9743 |
Conference | 29th International Symposium on Model Checking Software |
---|---|
Number | 29 |
Location | Sorbonne Université |
Country/Territory | France |
City | Paris |
Period | 26/04/2023 → 27/04/2023 |
Internet address |
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review