Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yaniv Sa'ar
conf.researchr.org general profile
POPL 2020 profile
Not registered as user
Name:
Yaniv Sa'ar
Affiliation:
Nokia Bell Labs, Kfar Saba, Israel
Contributions
2020
POPL
Author of Synthesis of Coordination Programs from Linear Temporal Specifications within the Research Papers-track
Share
x
Sat 21 Dec 18:07