Skip recommendations
Showing 1 - 2 results of 2 for search 'Ramakrishnan, C. R.', query time: 0.01s Refine Results
Search Tools: Suscríbete a esta búsqueda
  1. 1
    Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings /
    Published 2013
    Other Authors:
    Texto Completo
    Electronic eBook
  2. 2
    Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings /
    Published 2008
    Other Authors: “…Ramakrishnan, C.R…”
    Texto Completo
    Electronic eBook