Login / Signup
Idan Heimlich
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Petri Net
Temporal Logic
Reactive Systems
Control Flow
Top Venues
CSI-SE@ICSE
</>
Publications
</>
David Harel
,
Idan Heimlich
,
Rami Marelly
,
Assaf Marron
Crowd-Based Programming for Reactive Systems.
CSI-SE@ICSE
(2017)