conf.researchr.org / Petru Eles
Not registered as user yet
Name: Petru Eles
Contributions
| TACAS 2019 | Author of On Reachability in Parameterized Phaser Programs within the TACAS 2019-track |
| VMCAI | Author of Lazy Constrained Monotonic Abstraction within the VMCAI-track |