C. R. Ramakrishnan

Identifiers

Open LibraryOL7858541A

Books by C. R. Ramakrishnan

Total count: 1

Model Checking Software20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Springer London, Limited2013-01-01