Final published version
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
| Publication date | 19/11/2021 |
|---|---|
| Host publication | Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday |
| Editors | Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe |
| Place of Publication | Cham |
| Publisher | Springer |
| Pages | 77-97 |
| Number of pages | 21 |
| ISBN (electronic) | 9783030916312 |
| ISBN (print) | 9783030916305 |
| <mark>Original language</mark> | English |
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer |
| Volume | 13066 |
| ISSN (Print) | 0302-9743 |
| ISSN (electronic) | 1611-3349 |