Natarajan Shankar

No bio available. Add one in Open Library.

Books by Natarajan Shankar (50 max)

+ shelf+ list

Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science)

2006

Ulrich Furbach, Natarajan Shankar

+ shelf+ list

Mechanical verification of a schematic Byzantine clock synchronization algorithm

1991

Natarajan Shankar

+ shelf+ list

Verified Software : Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

2008

Natarajan Shankar, Jim Woodcock

+ shelf+ list

Automated Formal Methods

2017

Natarajan Shankar