Searching for authors named Krishnan Subramanian – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Efficient and Effective Symbolic Model Checking
by Subramanian Krishnan Iyer, E. Allen Emerson, Jacob A. Abraham, Aloysius K. Mok, Donald S. Fussell, Jawahar Jain, Subramanian Krishnan Iyer, B. Tech M. S, To Amma — 2006
…Copyright by Subramanian Krishnan Iyer 2006 The Dissertation Committee for Subramanian Krishnan…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB