Research output per year
Research output per year
Petra van den Bos*, Marielle Stoelinga
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Original language | English |
---|---|
Title of host publication | Formal Techniques for Distributed Objects, Components, and Systems |
Subtitle of host publication | 43rd IFIP WG 6.1 International Conference, FORTE 2023 |
Editors | Marieke Huisman, António Ravara |
Place of Publication | Cham |
Publisher | Springer Nature |
Pages | 155-172 |
Number of pages | 18 |
ISBN (Electronic) | 978-3-031-35355-0 |
ISBN (Print) | 978-3-031-35354-3 |
DOIs | |
Publication status | Published - 10 Jun 2023 |
Event | 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023 - Lisbon, Portugal Duration: 19 Jun 2023 → 23 Jun 2023 Conference number: 43 |
Name | Lecture Notes in Computer Science |
---|---|
Volume | 13910 |
Conference | 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023 |
---|---|
Abbreviated title | FORTE 2023 |
Country/Territory | Portugal |
City | Lisbon |
Period | 19/06/23 → 23/06/23 |
Other | Held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 |
van den Bos, P. (Recipient) & Stoelinga, M. I. A. (Recipient), 30 Jun 2022
Prize
Research output: Working paper › Preprint › Academic