Back to Results
First PageMeta Content
Formal languages / Logic in computer science / Complexity classes / Automata theory / Temporal logic / Linear temporal logic / Modal logic / Dynamic logic / Model checking / Theoretical computer science / Mathematics / Logic


Regular Linear-time Temporal Logic Martin Leucker Institut f¨ur Informatik TU M¨unchenGarching, Germany Email:
Add to Reading List

Document Date: 2014-06-27 10:56:07

Open Document

File Size: 50,28 KB

Share Result on Facebook

City

Garching / Madrid / /

Company

Reactive Systems / CONCUR / /

/

Facility

C´esar S´anchez The IMDEA Software Institute / Massachusetts Institute of Technology / University of California / /

Organization

Aritificial Intelligence / University of California / Los Angeles / Massachusetts Institute of Technology / Spanish Council for Scientific Research / IMDEA Software Institute / Linear-time Temporal Logic Martin Leucker Institut f¨ur Informatik TU M¨unchen / /

Position

head / /

ProgrammingLanguage

C / /

ProvinceOrState

California / Massachusetts / /

PublishedMedium

Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

CAV / /

SocialTag