Back to Results
First PageMeta Content



Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California
Add to Reading List

Document Date: 2014-03-05 17:31:43

Open Document

File Size: 307,07 KB

Share Result on Facebook

City

Los Alamitos / New York / /

Company

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 / /

/

IndustryTerm

cache-coherence protocol / reactive systems / symbolic model-checking algorithm / /

Organization

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 / /

PublishedMedium

Journal of the ACM / /

Technology

cache-coherence protocol / symbolic model-checking algorithm / /

URL

www.eecs.berkeley.edu/˜orna / www.eecs.berkeley.edu/˜tah / www.cis.upenn.edu/˜alur / /

SocialTag