Skip to main content

College of Engineering

Trustworthy and Reliable Technologies Lab (TART)

Contact
EGR
MSU
Maps
Jobs

Home
Members
Projects
Publications
Research
Teaching
Tools

Norine Coenen

Home

A Temporal Logic for Asynchronous Hyperproperties

Pagination

Subscribe to Norine Coenen

On This Site

Home
About
Members
Porjects
Research
Tools

Departments

APPLIED ENGINEERING SCIENCES
BIOMEDICAL ENGINEERING
BIOSYSTEMS & AGRICULTURAL ENGINEERING
CHEMICAL ENGINEERING & MATERIALS SCIENCE
CIVIL & ENVIRONMENTAL ENGINEERING
COMPUTATIONAL MATHEMATICS, SCIENCE AND ENGINEERING
COMPUTER SCIENCE & ENGINEERING
ELECTRICAL & COMPUTER ENGINEERING
MECHANICAL ENGINEERING

MSU Resources

MSU Home
MSU Today
Campus Maps

Contact Us

Engineering Building
428 S. Shaw Lane
East Lansing, MI 48824-1226
Phone: (517) 355-5113
Fax: (517) 355-2288

Stay Connected

Call us:
Contact Information
Privacy Policy
Site Accessibility

Call MSU: (517) 355-1855
Visit: msu.edu
MSU is an affirmative-action, equal-opportunity employer.
Notice of Nondiscrimination

Spartans Will.
© Michigan State University