×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [lsc class addhotfivetimes]
Documents
1 Behavioral Programming A review of recent research: ECOOP’10, ASE’10, ICFP’10, ICPC’11, EMSOFT’11, AGERE’11, ICTAI’11 David Harel, Assaf Marron, Smadar
217 views
Documents
1 Model-Checking Behavioral Programs Assaf Marron Weizmann Institute of Science
219 views