Preface
Research output: Contribution to book/Conference proceedings/Anthology/Report › Foreword/Postscript › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Title of host publication | Principles of Formal Quantitative Analysis |
| Publisher | Springer, Cham |
| Pages | vi |
| Number of pages | 1 |
| ISBN (electronic) | 978-3-031-97439-7 |
| ISBN (print) | 978-3-031-97438-0 |
| Publication status | Published - 2026 |
| Peer-reviewed | Yes |
Publication series
| Series | Lecture Notes in Computer Science |
|---|---|
| Volume | 15760 |
| ISSN | 0302-9743 |
External IDs
| ORCID | /0000-0003-1724-2586/work/194825126 |
|---|