Original language | English |
---|---|
Article number | 344 |
Pages (from-to) | 2070-2096 |
Number of pages | 27 |
Journal | Proceedings of the ACM on Programming Languages |
Volume | 8 |
Issue number | OOPSLA2 |
DOIs | |
Publication status | Published - 8 Oct 2024 |
Automated Verification of Parametric Channel-Based Process Communication
Georgian-Vlad Saioc, Julien Lange, Anders Møller
Research output: Contribution to journal › Article › peer-review
9
Downloads
(Pure)