ETAPS 2019 (series) / Petru Eles
Not registered as user yet
Name:Petru Eles
Contributions
| TACAS 2019 | On Reachability in Parameterized Phaser Programs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile