ACM Inc. / IEEE Computer Society Press / hhAii / Computer Sciences / /
Country
Israel / United States / /
Currency
USD / / /
Event
FDA Phase / /
Facility
California AND ORNA KUPFERMAN Hebrew University / Pennsylvania THOMAS A. HENZINGER University of California / Time Temporal Logic RAJEEV ALUR University of Pennsylvania / University of Pennsylvania / University of California / / /
Hebrew University / Jerusalem / National Science Foundation / Department of Computer and Information Science / University of California / Berkeley / University of Pennsylvania / Philadelphia / Department of Electrical Engineering and Computer Sciences / /
Person
ORNA KUPFERMAN / Rabin / Emerson / Clarke / / /
Position
gate controller / single player / scheduler / player / train controller / fair scheduler / Programs General / controller / /
Product
Gigamax / /
ProvinceOrState
Alabama / Pennsylvania / California / New York / /