Statistics
Publications
1
Citations
362
H-Index
1
Active since
2002
Affiliations
Weizmann Institute of Science(Current)
A. Pneuli is an author at Weizmann Institute of Science specializing in synchronous models of computation, reactive systems, and engineering.
Publications per year
2002–2002
1
1
Distributed reactive systems are hard to synthesize
A. Pneuli, Roni Rosner · 2002 · 362 citations
1–1 of 1