Start Over
You searched for: author_facet Shankar, N.

Search Results

Cover image for Integrated formal analysis of timed-triggered ethernet

Integrated formal analysis of timed-triggered ethernet

Location
Access Content Online
Cover image for Verified software

Verified software

Location
Access Content Online
Cover image for AFM '07

AFM '07

Location
Access Content Online
Cover image for Metamathematics, machines, and Gödel's proof

Metamathematics, machines, and Gödel's proof

Location Call # Status
Joyner - General Stacks QA9.65 .S53 1994 ✔ Available