ETAPS 2019 (series) / Nir Piterman
Not registered as user yet
Name:Nir Piterman
Contributions
| TACAS 2019 | Environmentally-friendly GR(1) Synthesis | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile
ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
- About
- Program
- Conferences
- Organization
- ETAPS 2019 Committees
- Organizing Committee
- Steering Committee
- Executive Board
- Track Committees
- Mentoring Workshop
- Mooly Fest
- Posters
- TOOLympics
- Workshops
- Contributors
- People Index
- Search
- Series